[−][src]Module candid::parser::typing
Structs
| Env | |
| TypeEnv |
Functions
| check_prog | Type check IDLProg, and adds bindings to type environment. Returns a hash map for the serivce method signatures. For now, we omit import. |
| check_type | |
| check_unique |