elpi 1.20.0 · OCaml Package

exception Error of string

val new_line : Stdlib.Lexing.lexbuf -> unit

val skip : Stdlib.Lexing.lexbuf -> int -> unit

val __ocaml_lex_tables : Stdlib.Lexing.lex_tables

val linecomment : int -> Stdlib.Lexing.lexbuf -> Elpi_lexer_config.Tokens.token

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

val skip_lines : int -> Stdlib.Lexing.lexbuf -> Elpi_lexer_config.Tokens.token

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

val multilinecomment : 
  int ->
  Stdlib.Lexing.lexbuf ->
  Elpi_lexer_config.Tokens.token

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

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

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

val quoted : int -> Stdlib.Lexing.lexbuf -> Elpi_lexer_config.Tokens.token

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

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

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

val lookahead_close : Stdlib.Buffer.t -> int -> Stdlib.Lexing.lexbuf -> unit

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

val lookahead_open : Stdlib.Buffer.t -> int -> Stdlib.Lexing.lexbuf -> unit

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

val token : Stdlib.Lexing.lexbuf -> Elpi_lexer_config.Tokens.token

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

package elpi