package elpi

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

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (11)

Authors

  1. C
    Claudio Sacerdoti Coen
  2. E
    Enrico Tassi

Maintainers

  1. E
    Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-2.0.6.tbz
sha256=b515185d0674557ae3219059d6c91dce2794b30c38ad23447b98a4fa22a99375
sha512=48490035f8dc103de9c0f2bf4e3a3ea6db2bda8670efe87bc2402a3b47e5c510452a5ae406be65a83fe16dd410c374894142bbee477681e50fc0dde4b8153d3c

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

Module Elpi_parser.LexerSource

Sourceexception Error of string
Sourceval real_skip : Lexing.lexbuf -> int -> unit
Sourceval new_line : Lexing.lexbuf -> unit
Sourceval start_token : (Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> 'a
Sourceval version_ma : int
Sourceval version_mi : int
Sourceval version_p : int
Sourceval version_test : char -> string -> string -> string -> bool
Sourceval __ocaml_lex_tables : Lexing.lex_tables
Sourceval __ocaml_lex_linecomment_rec : Lexing.lexbuf -> int -> Elpi_lexer_config.Tokens.token
Sourceval __ocaml_lex_linecomment_drop_rec : Lexing.lexbuf -> int -> Elpi_lexer_config.Tokens.token
Sourceval linecomment_skip : int -> Lexing.lexbuf -> Elpi_lexer_config.Tokens.token
Sourceval __ocaml_lex_linecomment_skip_rec : int -> Lexing.lexbuf -> int -> Elpi_lexer_config.Tokens.token
Sourceval __ocaml_lex_linecomment_if_rec : Lexing.lexbuf -> int -> Elpi_lexer_config.Tokens.token
Sourceval __ocaml_lex_skip_lines_endif_rec : 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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct