fn elaborate_morphism<'a, MS: STeXModuleStore, Err: FnMut(String, SourceRange<LSPLineCol>, DiagnosticLevel)>(
p: &mut LaTeXParser<'a, ParseStr<'a, LSPLineCol>, STeXToken<LSPLineCol>, Err, STeXParseState<'a, LSPLineCol, MS>>,
do_macros: bool,
check_defined: bool,
range: SourceRange<LSPLineCol>,
name: &str,
rules: Vec<ModuleRules<LSPLineCol>>,
specs: VecMap<SymbolReference<LSPLineCol>, MorphismSpec<LSPLineCol>>,
)