Documentation

Aesop.Tree.TreeM

structure Aesop.Tree :
Instances For
    Equations
      Instances For
        Instances For
          Instances For
            @[reducible, inline]
            abbrev Aesop.TreeM (α : Type) :
            Equations
              Instances For
                Equations
                  def Aesop.TreeM.run' {α : Type} (ctx : Context) (tree : Tree) (x : TreeM α) :
                  Equations
                    Instances For
                      Equations
                        Instances For
                          Equations
                            Instances For
                              def Aesop.incrementNumGoals (increment : Nat := 1) :
                              Equations
                                Instances For
                                  def Aesop.incrementNumRapps (increment : Nat := 1) :
                                  Equations
                                    Instances For