leo_
passes
3.2.0
Module program
Module Items
Functions
In leo_
passes::
type_
checking
leo_passes
::
type_checking
Module
program
Copy item path
Source
Functions
§
check_
name
🔒