Module `Elpi_parser.Lexer`Source

Sourceexception Error of string

Sourceval new_line : Lexing.lexbuf -> unit

Sourceval skip : Lexing.lexbuf -> int -> unit

Sourceval __ocaml_lex_tables : Lexing.lex_tables

Sourceval linecomment : int -> Lexing.lexbuf -> Elpi_lexer_config.Tokens.token

val __ocaml_lex_linecomment_rec : 
  int ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Sourceval skip_lines : int -> Lexing.lexbuf -> Elpi_lexer_config.Tokens.token

val __ocaml_lex_skip_lines_rec : 
  int ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Sourceval multilinecomment : int -> Lexing.lexbuf -> Elpi_lexer_config.Tokens.token

val __ocaml_lex_multilinecomment_rec : 
  int ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Sourceval string : Buffer.t -> Lexing.lexbuf -> Elpi_lexer_config.Tokens.token

val __ocaml_lex_string_rec : 
  Buffer.t ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Sourceval quoted : int -> Lexing.lexbuf -> Elpi_lexer_config.Tokens.token

val __ocaml_lex_quoted_rec : 
  int ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

val quoted_inner : 
  Buffer.t ->
  int ->
  int ->
  Lexing.lexbuf ->
  Elpi_lexer_config.Tokens.token

val __ocaml_lex_quoted_inner_rec : 
  Buffer.t ->
  int ->
  int ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Sourceval lookahead_close : Buffer.t -> int -> Lexing.lexbuf -> unit

val __ocaml_lex_lookahead_close_rec : 
  Buffer.t ->
  int ->
  Lexing.lexbuf ->
  int ->
  unit

Sourceval lookahead_open : Buffer.t -> int -> Lexing.lexbuf -> unit

val __ocaml_lex_lookahead_open_rec : 
  Buffer.t ->
  int ->
  Lexing.lexbuf ->
  int ->
  unit

Sourceval token : Lexing.lexbuf -> Elpi_lexer_config.Tokens.token

val __ocaml_lex_token_rec : 
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Install