Module UID (.ml)

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