Documentation

Aesop.Tracing

Equations
Equations
  • One or more equations did not get rendered due to their size.
Equations
def Aesop.TraceOption.withEnabled {m : TypeType} {α : Type} [Monad m] [Lean.MonadWithOptions m] (opt : Aesop.TraceOption) (k : m α) :
m α
Equations
Equations
  • One or more equations did not get rendered due to their size.
Equations
  • One or more equations did not get rendered due to their size.
Equations
  • One or more equations did not get rendered due to their size.
def Aesop.exceptRuleResultToEmoji {α : Type u_1} {ε : Type u_2} (toEmoji : αString) :
Except ε αString
Equations
@[always_inline]
Equations
@[always_inline]
Equations
Equations
  • One or more equations did not get rendered due to their size.
Equations
  • One or more equations did not get rendered due to their size.