module UID: sig
.. end
A global UID generator
val uid_digits : int
The number of digits in a UID error after rollover
val uid_counter : unit -> string
A function to return the a fresh UID. Note that UIDs are copies,
so they need not be copied on their own