Module Lexer_nw

module Flag = Flag_parsing
type token =
  1. | TComment of Parse_info.info
  2. | TCommentSpace of Parse_info.info
  3. | TCommentNewline of Parse_info.info
  4. | TWord of string * Parse_info.info
  5. | TNumber of string * Parse_info.info
  6. | TUnit of string * Parse_info.info
  7. | TSymbol of string * Parse_info.info
  8. | TCommand of string * Parse_info.info
  9. | TOBrace of Parse_info.info
  10. | TCBrace of Parse_info.info
  11. | TOBracket of Parse_info.info
  12. | TCBracket of Parse_info.info
  13. | TFootnote of char * Parse_info.info
  14. | TBeginVerbatim of Parse_info.info
  15. | TEndVerbatim of Parse_info.info
  16. | TVerbatimLine of string * Parse_info.info
  17. | TBeginNowebChunk of Parse_info.info
  18. | TEndNowebChunk of Parse_info.info
  19. | TNowebChunkStr of string * Parse_info.info
  20. | TNowebChunkName of string * Parse_info.info
  21. | TNowebCode of string * Parse_info.info
  22. | TUnknown of Parse_info.info
  23. | EOF of Parse_info.info
val pr2 : string -> unit
val pr2_once : string -> unit
exception Lexical of string
val error : string -> unit
val yyback : int -> Lexing.lexbuf -> unit
val tok : Lexing.lexbuf -> string
type state_mode =
  1. | INITIAL
  2. | IN_VERBATIM of string
  3. | IN_NOWEB_CHUNK
val default_state : state_mode
val _mode_stack : state_mode list ref
val reset : unit -> unit
val current_mode : unit -> state_mode
val push_mode : state_mode -> unit
val pop_mode : unit -> unit
val __ocaml_lex_tables : Lexing.lex_tables
val tex : Lexing.lexbuf -> token
val __ocaml_lex_tex_rec : Lexing.lexbuf -> int -> token
val noweb : Lexing.lexbuf -> token
val __ocaml_lex_noweb_rec : Lexing.lexbuf -> int -> token
val verbatim : 'a -> Lexing.lexbuf -> token
val __ocaml_lex_verbatim_rec : 'a -> Lexing.lexbuf -> int -> token