elpi.compiler
Compiler_data.ScopeContext
elpi
elpi.lexer_config
elpi.parser
elpi.runtime
elpi.trace
elpi.util
trace_ppx
trace_ppx_runtime
type language = string
val pp_language : Ppx_deriving_runtime.Format.formatter -> language -> Ppx_deriving_runtime.unit
val show_language : language -> Ppx_deriving_runtime.string
val compare_language : language -> language -> Ppx_deriving_runtime.int
type ctx = {
vmap : (language * F.t * F.t) list;
uvmap : (F.t * F.t) list ref;
}
val empty : unit -> ctx
val eq_var : ctx -> language -> F.t -> F.t -> bool
val cmp_var : ctx -> language -> F.t -> F.t -> int
val purge : 'a -> (('b * 'c) -> F.t) -> F.t -> ('a * 'b * 'c) list -> ('a * 'b * 'c) list
val push_ctx : language -> F.t -> F.t -> ctx -> ctx
val eq_uvar : ctx -> F.t -> F.t -> bool