package alt-ergo-parsers

  1. Overview
  2. Docs
val assoc_keyword : string -> Native_parser.token
val mk_new_line : Stdlib.Lexing.lexbuf -> unit
val escaped_char : char -> char
val decimal_number : string -> AltErgoLib.Numbers.Q.t
val hexa_number : string -> AltErgoLib.Numbers.Q.t
val __ocaml_lex_tables : Stdlib.Lexing.lex_tables
val parse_token : Stdlib.Lexing.lexbuf -> Native_parser.token
val __ocaml_lex_parse_token_rec : Stdlib.Lexing.lexbuf -> int -> Native_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 -> Native_parser.token
val __ocaml_lex_parse_string_rec : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> int -> Native_parser.token
val register_native : unit -> unit
OCaml

Innovation. Community. Security.