pub fn check_module(
    context: &Context,
    metas: &meta::Env,
    module: &Module,
) -> Result<(), TypeError> {
    let mut context = context.clone();
    check_items(&mut context, metas, &module.items)?;
    Ok(())
}
/// Check that this is a valid module.
Check that this is a valid module.
Check that this is a valid module .
pub fn check_module(
    context: &Context,
    metas: &meta::Env,
    module: &Module,
) -> Result<(), TypeError> {
    let mut context = context.clone();
    check_items(&mut context, metas, &module.items)?;
    Ok(())
}
pub fn check_module ( context : & Context , metas : & meta :: Env , module : & Module , ) -> Result < ( ) , TypeError > { let mut context = context . clone ( ) ; check_items ( & mut context , metas , & module . items ) ? ; Ok ( ( ) ) }
Check that this is a valid module.
Check that this is a valid module .
context
&Context
metas
&meta::Env
module
&Module
context
&Context
metas
&meta::Env
module
&Module