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=bab7cfcad2c06372702f907743216cf059cc56744f820a5a99296f8530aa27e2

sha512=3e82719bb44b90ea196b3eeadfc21073ea15517cc1e8bd46d8beb7b9eb87746c2deb1a530f4f7653d228c33c223a1160580d05902e4b1de0eded576137c89048

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