opaque Aesop.Check.all : Lean.Option Bool

structure Aesop.Check : Type

• toOption : Lean.Option Bool

def Aesop.Check.get (opts : Lean.Options) (opt : Check) : Bool

def Aesop.Check.isEnabled {m : Type → Type} [Monad m] [Lean.MonadOptions m] (opt : Check) : m Bool

def Aesop.Check.name (opt : Check) : Lean.Name

def Aesop.Check.proofReconstruction : Check

def Aesop.Check.tree : Check

def Aesop.Check.rules : Check

def Aesop.Check.script : Check

def Aesop.Check.script.steps : Check