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=9955d95d69b1ffb6770daad42f2b15d44a8888843817dff272d44ef8a3480b5a

sha512=408bfb46efeba45d0c5e36e8478d9e9b2f01f38de88c10621deeedc69e4c2b007d859fec520ef5652ab33bf00106edbda421f16503eeff397ceb57a61e01fce2

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