package elpi

  1. Overview
  2. Docs
package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type
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