Documentation

Aesop.Options.Internal

Instances For
    Equations
    def Aesop.Options.toOptions' {m : TypeType} [Monad m] [Lean.MonadOptions m] (opts : Aesop.Options) (forwardMaxDepth? : optParam (Option Nat) none) :
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For