Module Interned.MakeSource

Parameters

module R : Settings

Signature

Sourcetype t
Sourceval hash : t -> int
Sourceval equal : t -> t -> bool
Sourceval compare : t -> t -> Ordering.t
Sourceval to_dyn : t -> Dyn.t
Sourceval to_string : t -> string
Sourceval make : string -> t
Sourceval get : string -> t option

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

Sourceval all : unit -> t list

Return the list of all existing ts.

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

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