Documentation

Aesop.Tree.Stats

source
def Aesop.Goal.stats (g : Goal) :
TreeM GoalStats
Equations
    Instances For
      source
      def Aesop.collectGoalStatsIfEnabled :
      TreeM Unit
      Equations
        Instances For