Module Jhupllib_uidsSource

A module defining a generative functor which creates UID modules.

Sourcemodule type Uid_module = sig ... end

Defines the type of a module supporting UID generation.