pub fn setmetatheory<'a, Pos: StringPosition, MS: STeXModuleStore>(
setmetatheory: Macro<'a, Pos>,
p: &mut LaTeXParser<'a, Pos, STeXToken<Pos>, STeXParseState<'a, Pos, MS>>,
) -> MacroResult<'a, Pos, STeXToken<Pos>>pub fn setmetatheory<'a, Pos: StringPosition, MS: STeXModuleStore>(
setmetatheory: Macro<'a, Pos>,
p: &mut LaTeXParser<'a, Pos, STeXToken<Pos>, STeXParseState<'a, Pos, MS>>,
) -> MacroResult<'a, Pos, STeXToken<Pos>>