Module AltErgoParsers.Why_lexer

val assoc_keyword : string -> Why_parser.token
val mk_new_line : Stdlib.Lexing.lexbuf -> unit
val escaped_char : char -> char
val n_zero : Num.num
val n_ten : Num.num
val n_16 : Num.num
val decimal_number : string -> Num.num
val hexa_number : string -> Num.num
val __ocaml_lex_tables : Stdlib.Lexing.lex_tables
val parse_token : Stdlib.Lexing.lexbuf -> Why_parser.token
val __ocaml_lex_parse_token_rec : Stdlib.Lexing.lexbuf -> int -> Why_parser.token
val parse_comment : Stdlib.Lexing.lexbuf -> unit
val __ocaml_lex_parse_comment_rec : Stdlib.Lexing.lexbuf -> int -> unit
val parse_string : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> Why_parser.token
val __ocaml_lex_parse_string_rec : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> int -> Why_parser.token