Documentation

Aesop.Tree.Free

source
def Aesop.GoalRef.free (gref : GoalRef) :
BaseIO Unit
Instances For
    source
    def Aesop.RappRef.free (rref : RappRef) :
    BaseIO Unit
    Instances For
      source
      def Aesop.MVarClusterRef.free (cref : MVarClusterRef) :
      BaseIO Unit
      Instances For
        source
        def Aesop.freeTree :
        TreeM Unit
        Instances For