Documentation

Aesop.Tree.Stats

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