package elpi

  1. Overview
  2. Docs
ELPI - Embeddable λProlog Interpreter

Install

Dune Dependency

Authors

Maintainers

Sources

elpi-1.20.0.tbz
sha256=95cb590084203a0e5df8b7c82ed5ac05572c7a6577cd36587c97c3942c47b5c0
sha512=95c0160d237a5786daff5f4748b9c9c41dc1192fe235c6d60b79febfec56c3673815eb2d7983ea595e54927369a4d60a8a2a6008f7053bc7d7bb1871628f1697

doc/elpi.parser/Elpi_parser/Lexer/index.html

Module Elpi_parser.LexerSource

Sourceexception Error of string
Sourceval new_line : Lexing.lexbuf -> unit
Sourceval skip : Lexing.lexbuf -> int -> unit
Sourceval __ocaml_lex_tables : Lexing.lex_tables
Sourceval __ocaml_lex_linecomment_rec : int -> Lexing.lexbuf -> int -> Elpi_lexer_config.Tokens.token
Sourceval __ocaml_lex_skip_lines_rec : int -> Lexing.lexbuf -> int -> Elpi_lexer_config.Tokens.token
Sourceval multilinecomment : int -> Lexing.lexbuf -> Elpi_lexer_config.Tokens.token
Sourceval __ocaml_lex_multilinecomment_rec : int -> Lexing.lexbuf -> int -> Elpi_lexer_config.Tokens.token
Sourceval __ocaml_lex_string_rec : Buffer.t -> Lexing.lexbuf -> int -> Elpi_lexer_config.Tokens.token
Sourceval __ocaml_lex_quoted_rec : int -> Lexing.lexbuf -> int -> Elpi_lexer_config.Tokens.token
Sourceval quoted_inner : Buffer.t -> int -> int -> Lexing.lexbuf -> Elpi_lexer_config.Tokens.token
Sourceval __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
Sourceval __ocaml_lex_lookahead_close_rec : Buffer.t -> int -> Lexing.lexbuf -> int -> unit
Sourceval lookahead_open : Buffer.t -> int -> Lexing.lexbuf -> unit
Sourceval __ocaml_lex_lookahead_open_rec : Buffer.t -> int -> Lexing.lexbuf -> int -> unit
Sourceval __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Elpi_lexer_config.Tokens.token
OCaml

Innovation. Community. Security.