package elpi

You can search for identifiers within the package.

in-package search v0.2.0

ELPI - Embeddable λProlog Interpreter

Install

dune-project

Dependency

sha256=71c93a5ea0bdf19f656f70984bc2bf681d5639c9230325f3675e2f5f8d6726f2

sha512=d6a87bf1ba6bfb6f773075295137d037e007252ecf16aa026c151df11bc498efe56d5d5369920c2dad3b53373cba75378731cd752d08e07353a1c68063d2cd2a

Sourcemodule F = Elpi_parser.Ast.Func

Sourcemodule Symbol = Elpi_runtime.Data.Symbol

Sourcemodule ScopeContext : sig ... end

Sourceval elpi_language : ScopeContext.language

Sourceval elpi_var : ScopeContext.language

Sourcemodule MutableOnce : sig ... end

Sourcemodule TypeAssignment : sig ... end

Sourcemodule TypingEnv : sig ... end

Sourcemodule SymbolResolver : sig ... end

Sourcemodule Scope : sig ... end

Sourcemodule ScopedTypeExpression : sig ... end

Sourcemodule ScopedTerm : sig ... end

Sourcemodule ScopeTypeExpressionUniqueList : sig ... end

Sourcemodule State = Elpi_runtime.Data.State

Sourcemodule QuotationHooks : sig ... end

Sourcemodule Arity : sig ... end

Sourceexception CompileError of Elpi_util.Util.Loc.t option * string

Sourceval error : ?loc:Elpi_util.Util.Loc.t -> string -> 'a