package elpi

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

ELPI - Embeddable λProlog Interpreter

Install

dune-project

Dependency

sha256=d94731d09bacba434bb92e74efa365c98e58c1f0cfc6bba87a02af073cc2eda9

sha512=627ca2aab0113ddf7880e0803a1c6f7fc40d5e3a2f1139b0c49abe87bad752c8f93f65cd83399f47f8587269a461ac12d5ee824df4bea8183bf06b1af61db22e

module C : Parser_config.ParseFile

Sourcetype token = Elpi_lexer_config.Tokens.token

Sourceexception Error

val program : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  Ast.Program.decl list

Sourceval prefix_SYMB : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.Func.t

Sourceval postfix_SYMB : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.Func.t

Sourceval infix_SYMB : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.Func.t

Sourceval goal : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.Term.t

Sourcemodule MenhirInterpreter : sig ... end

Sourcemodule Incremental : sig ... end

Sourcemodule Tables : MenhirLib.TableFormat.TABLES with type token = token

On This Page