package alt-ergo-parsers

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `AltErgoParsers.Native_lexer`Source

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