Module lean_format 

Structs

LeanConstDecl

LeanConstraint 🔒

LeanDataDecl

LeanDataField 🔒

LeanExpr 🔒

LeanFunDef

LeanKConstraint

LeanKVarDecl 🔒

LeanPred 🔒

LeanSort 🔒

LeanSortDecl

LeanSortVar

LeanThyFunc 🔒

LeanVar