Module lean_format 

Structs

LeanConstDef 🔒

LeanConstraint 🔒

LeanExpr 🔒

LeanFunDef 🔒

LeanPred 🔒

LeanSort 🔒

LeanThyFunc 🔒

LeanVar 🔒