Function core_submodule 

pub fn core_submodule<'db>(
    db: &'db dyn Database,
    submodule_name: SmolStrId<'db>,
) -> ModuleId<'db>

Returns a submodule of the corelib named submodule_name. If no such submodule exists, panics.