elpi.compiler
Compiler_data.Scope
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 type_decl_id = int
val pp_type_decl_id : Ppx_deriving_runtime.Format.formatter -> type_decl_id -> Ppx_deriving_runtime.unit
val show_type_decl_id : type_decl_id -> Ppx_deriving_runtime.string
val compare_type_decl_id : type_decl_id -> type_decl_id -> Ppx_deriving_runtime.int
val dummy_type_decl_id : int
val fresh_type_decl_id : unit -> int
val is_dummy_type_decl_id : int -> bool
type t =
| Bound of language
| Global of {
escape_ns : bool;
}
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val compare : t -> t -> Ppx_deriving_runtime.int
module Map : sig ... end
module Set : sig ... end
val mkGlobal : ?escape_ns:bool -> ?decl_id:int -> unit -> t