Function candid::parser::typing::check_prog
source · pub fn check_prog(te: &mut TypeEnv, prog: &IDLProg) -> Result<Option<Type>>
Available on crate feature
parser
only.Expand description
Type check IDLProg and adds bindings to type environment. Returns the main actor if present. This function ignores the imports.