Module AltErgoParsers.Native_lexerSource

Sourceval assoc_keyword : string -> Native_parser.token
Sourceval mk_new_line : Lexing.lexbuf -> unit
Sourceval escaped_char : char -> char
Sourceval n_zero : Num.num
Sourceval n_ten : Num.num
Sourceval n_16 : Num.num
Sourceval decimal_number : string -> Num.num
Sourceval hexa_number : string -> Num.num
Sourceval __ocaml_lex_tables : Lexing.lex_tables
Sourceval __ocaml_lex_parse_token_rec : Lexing.lexbuf -> int -> Native_parser.token
Sourceval parse_comment : Lexing.lexbuf -> unit
Sourceval __ocaml_lex_parse_comment_rec : Lexing.lexbuf -> int -> unit
Sourceval __ocaml_lex_parse_string_rec : Buffer.t -> Lexing.lexbuf -> int -> Native_parser.token
Sourceval register_native : unit -> unit