leo_passes

Module type_checking

Source

Modules§

ast 🔒
program 🔒
scope_state 🔒
visitor 🔒

Structs§

TypeChecking
A pass to check types.
TypeCheckingInput
Specify network limits for type checking.