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

sha512=f1101599099763cec2e607ea9a639cc8b9348972a7c781a697a1cee45d984cbd6941409166eda88e7ba29d40cd3fe6d554ba5ac2ce922a256bebe90f07efe6da

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

Sourcetype ety = TypeAssignment.ety = {

}

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:??? -> string -> 'a