Compiler_data (p.elpi.2.0.7.doc.elpi.compiler.Elpi_compiler.Compiler

Sourcemodule F = Elpi_parser.Ast.Func

Sourcemodule Scope : sig ... end

Sourceval elpi_language : Scope.language

Sourcemodule ScopeContext : sig ... end

Sourcemodule ScopedTypeExpression : sig ... end

Sourcemodule MutableOnce : sig ... end

Sourcemodule TypeAssignment : sig ... end

Sourcemodule ScopedTerm : sig ... end

Sourcemodule TypeList : 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