Module Id.MakeSource

A functor to create a new ID generator module.

Parameters

Signature

Sourcetype t
Sourcemodule Set : sig ... end
Sourcemodule Map : sig ... end
Sourceval gen : unit -> t

Generate a new id.

Sourceval peek : unit -> t

Get the next id that would be generated, without actually generating it.

Sourceval to_int : t -> int

Convert the id to an integer.

Sourceval compare : t -> t -> Ordering.t

Compare two ids.

Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
Sourceval to_dyn : t -> Dyn.t