pub type EnvCloseRule<'a, Pos: StringPosition, T: FromLaTeXToken<'a, Pos>, State: ParserState<'a, Pos, T>> = for<'b> fn(Environment<'a, Pos, T>, &'b mut LaTeXParser<'a, Pos, T, State>) -> EnvironmentResult<'a, Pos, T>;pub type EnvCloseRule<'a, Pos: StringPosition, T: FromLaTeXToken<'a, Pos>, State: ParserState<'a, Pos, T>> = for<'b> fn(Environment<'a, Pos, T>, &'b mut LaTeXParser<'a, Pos, T, State>) -> EnvironmentResult<'a, Pos, T>;