def Aesop.GoalRef.free (gref : Aesop.GoalRef) : BaseIO Unit

Equations

• gref.free = do let __discr ← Aesop.mkDummyRefs✝ match __discr with | (dgref, dcref) => Aesop.freeGoalRef✝ dgref dcref gref

def Aesop.RappRef.free (rref : Aesop.RappRef) : BaseIO Unit

Equations

• rref.free = do let __discr ← Aesop.mkDummyRefs✝ match __discr with | (dgref, dcref) => Aesop.freeRappRef✝ dgref dcref rref

def Aesop.MVarClusterRef.free (cref : Aesop.MVarClusterRef) : BaseIO Unit

Equations

• cref.free = do let __discr ← Aesop.mkDummyRefs✝ match __discr with | (dgref, dcref) => Aesop.freeMVarClusterRef✝ dgref dcref cref

def Aesop.freeTree : Aesop.TreeM Unit

Equations

• Aesop.freeTree = do let __do_lift ← get liftM __do_lift.root.free