/// Type check IDLProg and adds bindings to type environment. Returns
/// a hash map for the serivce method signatures. This function ignores the imports.
Type check IDLProg and adds bindings to type environment. Returns
a hash map for the serivce method signatures. This function ignores the imports.
Type check IDLProg and adds bindings to type environment . Returns a hash map for the serivce method signatures . This function ignores the imports .
pub fn check_prog(te: &mut TypeEnv, prog: &IDLProg) -> Result<Option<Type>> {
    let mut env = Env { te, pre: false };
    check_decs(&mut env, &prog.decs)?;
    check_actor(&env, &prog.actor)
}
pub fn check_prog ( te : & mut TypeEnv , prog : & IDLProg ) -> Result < Option < Type > > { let mut env = Env { te , pre : false } ; check_decs ( & mut env , & prog . decs ) ? ; check_actor ( & env , & prog . actor ) }
Type check IDLProg and adds bindings to type environment.
Type check IDLProg and adds bindings to type environment .
te
&mut TypeEnv
prog
&IDLProg