module Flag = Flag_parsingtype token = | TComment of Parse_info.t| TCommentSpace of Parse_info.t| TCommentNewline of Parse_info.t| TWord of string * Parse_info.t| TNumber of string * Parse_info.t| TUnit of string * Parse_info.t| TSymbol of string * Parse_info.t| TCommand of string * Parse_info.t| TOBrace of Parse_info.t| TCBrace of Parse_info.t| TOBracket of Parse_info.t| TCBracket of Parse_info.t| TFootnote of char * Parse_info.t| TBeginVerbatim of Parse_info.t| TEndVerbatim of Parse_info.t| TVerbatimLine of string * Parse_info.t| TBeginNowebChunk of Parse_info.t| TEndNowebChunk of Parse_info.t| TNowebChunkStr of string * Parse_info.t| TNowebChunkName of string * Parse_info.t| TNowebCode of string * Parse_info.t| TNowebCodeLink of string * Parse_info.t| TUnknown of Parse_info.t| EOF of Parse_info.tval tok : Lexing.lexbuf -> stringval tokinfo : Lexing.lexbuf -> Parse_info.tval error : string -> Lexing.lexbuf -> unitval default_state : state_modeval _mode_stack : state_mode list refval current_mode : unit -> state_modeval push_mode : state_mode -> unitval tex : Lexing.lexbuf -> tokenval __ocaml_lex_tex_rec : Lexing.lexbuf -> int -> tokenval noweb : Lexing.lexbuf -> tokenval __ocaml_lex_noweb_rec : Lexing.lexbuf -> int -> tokenval verbatim : 'a -> Lexing.lexbuf -> tokenval __ocaml_lex_verbatim_rec : 'a -> Lexing.lexbuf -> int -> token