def Aesop.GoalRef.updateForwardState (phase : PhaseName) (gref : GoalRef) : TreeM Unit

Equations

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