Module lean_format 

Structs

ConstraintFormatter

LeanAdt 🔒

LeanCtxt

LeanDataProj 🔒

LeanField 🔒

LeanKConstraint

LeanThyFunc 🔒

WithLeanCtxt

Statics

IMPL_RE 🔒

Traits

FormatNested

LeanFmt

Functions

def_id_to_pascal_case

is_reserved 🔒

sanitize_name 🔒

snake_case_to_pascal_case