pub type EnvCloseRule<'a, Pa: ParseSource<'a>, T: FromLaTeXToken<'a, Pa::Pos, Pa::Str>, Err: FnMut(String, SourceRange<Pa::Pos>, DiagnosticLevel), State: ParserState<'a, Pa, T, Err>> = for<'b> fn(Environment<'a, Pa::Pos, Pa::Str, T>, &'b mut LaTeXParser<'a, Pa, T, Err, State>) -> EnvironmentResult<'a, Pa::Pos, Pa::Str, T>;