Module Interned.Make

Parameters

module R : Settings

Signature

type t
val hash : t -> int
val equal : t -> t -> bool
val compare : t -> t -> Ordering.t
val to_dyn : t -> Dyn.t
val to_string : t -> string
val pp : t Fmt.t
val make : string -> t
val get : string -> t option

Like make except it returns None if the string hasn't been registered with make previously.

val all : unit -> t list

Return the list of all existing ts.

module Set : sig ... end
module Map : Map.S with type key = t
module Table : sig ... end

Same as a hash table, but optimized for the case where we are using one entry for every possible t