Function candid::parser::typing::check_prog [−][src]
pub fn check_prog(te: &mut TypeEnv, prog: &IDLProg) -> Result<Option<Type>>
Type check IDLProg, and adds bindings to type environment. Returns a hash map for the serivce method signatures. For now, we omit import.