[−][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 |