Module Operator.MakeId

Generative functor to create unique ids.

Parameters

Signature

type t = private int

val fresh : unit -> t