package alt-ergo-parsers

You can search for identifiers within the package.

in-package search v0.2.0

The Alt-Ergo SMT prover parser library

Install

dune-project

Dependency

sha256=39e2c9128a7d1e89f332e31a2716f359f3b9e1a925fe81f11fa4a749b5d24d82

sha512=ca953fe5a4964287de7e328ec4e3724a9baaa908c22862b075da5870bbf3707c7f78bd9fe0af98ee6c6382b5de0a4ddfcc93e09dc8b5b8e7d6ab6b1196a0656d

Sourceval assoc_keyword : string -> Native_parser.token

Sourceval mk_new_line : Lexing.lexbuf -> unit

Sourceval escaped_char : char -> char

Sourceval n_zero : AltErgoLib.Numbers.Q.t

Sourceval n_ten : AltErgoLib.Numbers.Q.t

Sourceval n_16 : AltErgoLib.Numbers.Q.t

Sourceval decimal_number : string -> AltErgoLib.Numbers.Q.t

Sourceval hexa_number : string -> AltErgoLib.Numbers.Q.t

Sourceval __ocaml_lex_tables : Lexing.lex_tables

Sourceval parse_token : Lexing.lexbuf -> Native_parser.token

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 parse_string : Buffer.t -> Lexing.lexbuf -> Native_parser.token

val __ocaml_lex_parse_string_rec : 
  Buffer.t ->
  Lexing.lexbuf ->
  int ->
  Native_parser.token

Sourcemodule Parser : Parsers.PARSER_INTERFACE

Sourceval register_native : unit -> unit