Module leo_passes::type_checking::checker

Structs

• TypeChecker

Constants

• ADDRESS_TYPE 🔒
• BOOLEAN_TYPE 🔒
• FIELD_TYPE 🔒
• GROUP_TYPE 🔒
• INT_TYPES 🔒
• MAGNITUDE_TYPES 🔒
• SCALAR_TYPE 🔒
• SIGNATURE_TYPE 🔒
• SIGNED_INT_TYPES 🔒
• UNSIGNED_INT_TYPES 🔒

Functions

• types_to_string 🔒