Documentation

Aesop.Tree.Free

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