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