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=9f954cf6759fd197d4d2f7e803c7d13d8fdd6699911fcb5b1d6798356b65b9fd

sha512=c09b8d5258bfe4b54a83d30f9868e6351aaf0136f3786255cdba50fde7f28f936e1953e52509f7afc7985dcae76735bf22fdb9f448c03e5487dbe7f9d5def482

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