Module RandLabel

module RandLabel: sig .. end

Random labels This module is useful when you want to create unique identifiers. It can be used in different ways depending upon your needs.

module type Unit = sig .. end

An empty module type for a parameter to MakeLabel and MakeLabeller

module Unit: Unit

module type Labeller = sig .. end

A label typel, and a labeller function.

module MakeLabeller: functor (U : Unit) -> Labeller

Create a labeller.