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=84ed0907ac8787790ccd14a0a77762c3f7394b3e3de5c7df74e5448fd406009a

sha512=eb3f3b8323cab051549b9779620bc30dcaacf456e5c7b3ffc6723f74ba9d811b860a9f0540eb2cb24dc024188e55dcf2b50ae1b42e7cb47ad45b984637f281f5

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