package jhupllib
-
jhupllib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package jhupllib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A module defining a generative functor which creates UID modules.
module type Uid_module = sig ... endDefines the type of a module supporting UID generation.
module Make () : Uid_module