elpi.runtime
Data.Symbol
elpi
elpi.compiler
elpi.lexer_config
elpi.parser
elpi.trace
elpi.util
trace_ppx
trace_ppx_runtime
type symbol
val pp_symbol : Ppx_deriving_runtime.Format.formatter -> symbol -> Ppx_deriving_runtime.unit
val show_symbol : symbol -> Ppx_deriving_runtime.string
module UF : Elpi_util.Union_find.S with type key = symbol
type 'a merge = symbol -> 'a -> 'a -> 'a
module RawMap : Elpi_util.Util.Map.S with type key = symbol
module QMap : sig ... end
type t = symbol
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
type provenance = Elpi_parser.Ast.Structured.provenance
val pp_provenance : Ppx_deriving_runtime.Format.formatter -> provenance -> Ppx_deriving_runtime.unit
val show_provenance : provenance -> Ppx_deriving_runtime.string
val compare_provenance : provenance -> provenance -> Ppx_deriving_runtime.int
val equal : uf:UF.t -> t -> t -> bool
val compare : uf:UF.t -> t -> t -> int
val make : provenance -> F.t -> t
val make_builtin : ?variant:int -> F.t -> t
val make_variant_builtin : F.t -> t * int
val get_loc : t -> Elpi_util.Util.Loc.t
val get_provenance : t -> provenance
val get_str : t -> string
val get_func : t -> F.t
val is_builtin : t -> F.t -> bool
val undup : uf:UF.t -> t list -> t list
val pretty : t -> string