Function candid::parser::typing::check_prog
source · Expand description
Type check IDLProg and adds bindings to type environment. Returns a hash map for the serivce method signatures. This function ignores the imports.