Module `Interned.Make`

Parameters

R : Settings

Signature

type t

val compare : t -> t -> Ordering.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 with type key := t: Same as a hash table, but optimized for the case where we are using one entry for every possible t