pub fn core_module(db: &dyn SemanticGroup) -> ModuleId