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

sha512=71092d086b9ad72a5b6e08ecfa2fa896bd109730c1896ff0cfe7465be6d7dc5faff033e0bd518e450279925e38ac1cb254ce18f90235b3492508ce346a3d1efc

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