Documentation

Aesop.Forward.State.UpdateGoal

source
def Aesop.GoalRef.updateForwardState (phase : PhaseName) (gref : GoalRef) :
TreeM Unit
Equations
    Instances For