Compiler_data (elpi.Elpi_compiler.Compiler

module F = Elpi_parser.Ast.Func

module Symbol = Elpi_runtime.Data.Symbol

module ScopeContext : sig ... end

val elpi_language : ScopeContext.language

val elpi_var : ScopeContext.language

module MutableOnce : sig ... end

module TypeAssignment : sig ... end

module TypingEnv : sig ... end

module SymbolResolver : sig ... end

module Scope : sig ... end

module ScopedTypeExpression : sig ... end

module ScopedTerm : sig ... end

module ScopeTypeExpressionUniqueList : sig ... end

module State = Elpi_runtime.Data.State

module QuotationHooks : sig ... end

module Arity : sig ... end

exception CompileError of Elpi_util.Util.Loc.t option * string

val error : ?loc:Elpi_util.Util.Loc.t -> string -> 'a