Module lean_format 

Structs

ConstraintFormatter

LeanCtxt

LeanKConstraint

LeanKVarDecl 🔒

LeanSort 🔒

LeanSortVar

LeanThyFunc 🔒

WithLeanCtxt

Traits

FormatNested

LeanFmt