Module lean_format

flux_infer

Module lean_format 

Source

Structs§

ConstraintFormatter
LeanAdt 🔒
LeanCtxt
LeanDataProj 🔒
LeanField 🔒
LeanKConstraint
LeanThyFunc 🔒
WithLeanCtxt

Enums§

BoolMode

Traits§

FormatNested
LeanFmt

Functions§

def_id_to_pascal_case
snake_case_to_pascal_case