Module candid::parser::typing

Structs

Env

TypeEnv

Functions

check_file

Type check did file including the imports.

check_prog

Type check IDLProg and adds bindings to type environment. Returns a hash map for the serivce method signatures. This function ignores the imports.

check_type

check_unique

pretty_check_file