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