fn setup_morphism<'a, MS: STeXModuleStore>(
p: &mut LaTeXParser<'a, LSPLineCol, STeXToken<LSPLineCol>, STeXParseState<'a, LSPLineCol, MS>>,
name: &str,
archive: &Option<(&'a str, StringRange<LSPLineCol>)>,
domain: &str,
pos: LSPLineCol,
) -> Option<(SymbolUri, ModuleOrStruct<LSPLineCol>, Vec<ModuleRules<LSPLineCol>>)>