Module Data.Symbol

type symbol
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 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