Elpi_parser.Lexer
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 token : Stdlib.Lexing.lexbuf -> Elpi_lexer_config.Tokens.token
val __ocaml_lex_token_rec :
Stdlib.Lexing.lexbuf ->
int ->
Elpi_lexer_config.Tokens.token