alt-ergo-parsers
AltErgoParsers.Native_lexer
val assoc_keyword : string -> Native_parser.token
val mk_new_line : Lexing.lexbuf -> unit
val escaped_char : char -> char
val n_zero : AltErgoLib.Numbers.Q.t
val n_ten : AltErgoLib.Numbers.Q.t
val n_16 : AltErgoLib.Numbers.Q.t
val decimal_number : string -> AltErgoLib.Numbers.Q.t
val hexa_number : string -> AltErgoLib.Numbers.Q.t
val __ocaml_lex_tables : Lexing.lex_tables
val parse_token : Lexing.lexbuf -> Native_parser.token
val __ocaml_lex_parse_token_rec : Lexing.lexbuf -> int -> Native_parser.token
val parse_comment : Lexing.lexbuf -> unit
val __ocaml_lex_parse_comment_rec : Lexing.lexbuf -> int -> unit
val parse_string : Buffer.t -> Lexing.lexbuf -> Native_parser.token
val __ocaml_lex_parse_string_rec : Buffer.t -> Lexing.lexbuf -> int -> Native_parser.token
module Parser : Parsers.PARSER_INTERFACE
val register_native : unit -> unit