def Aesop.ForwardState.applyGoalDiff (rs : LocalRuleSet) (diff : GoalDiff) (fs : ForwardState) : BaseM (ForwardState × Array ForwardRuleMatch)

Apply a goal diff to the state, adding and removing hypotheses as indicated by the diff.

Equations

• One or more equations did not get rendered due to their size.