pub fn check_module(
    context: &Context,
    metas: &mut meta::Env,
    concrete_items: &[Item<'_>],
) -> Result<syntax::Module, Diagnostic<FileSpan>> {
    // The local elaboration context
    let mut context = context.clone();
    let items = check_items(&mut context, metas, concrete_items)?;

    Ok(syntax::Module { items })
}
/// Check that this is a valid module.
///
/// Returns the elaborated module.
Check that this is a valid module.
Returns the elaborated module.
Check that this is a valid module . Returns the elaborated module .
pub fn check_module(
    context: &Context,
    metas: &mut meta::Env,
    concrete_items: &[Item<'_>],
) -> Result<syntax::Module, Diagnostic<FileSpan>> {
    // The local elaboration context
    let mut context = context.clone();
    let items = check_items(&mut context, metas, concrete_items)?;
    Ok(syntax::Module { items })
}
pub fn check_module ( context : & Context , metas : & mut meta :: Env , concrete_items : & [ Item < ' _ > ] , ) -> Result < syntax :: Module , Diagnostic < FileSpan > > { // The local elaboration context let mut context = context . clone ( ) ; let items = check_items ( & mut context , metas , concrete_items ) ? ; Ok ( syntax :: Module { items } ) }
Check that this is a valid module.
Check that this is a valid module .
context
&Context
metas
&mut meta::Env
concrete_items
&[Item<'_>]
context
&Context
metas
&mut meta::Env
concrete_items
&[Item<'_>]