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

Equations

• Aesop.GoalRef.free gref = 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

• Aesop.RappRef.free rref = 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

• Aesop.MVarClusterRef.free cref = 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 (Aesop.MVarClusterRef.free __do_lift.root)