Module TypeLabel

module TypeLabel: sig .. end

A labeller for types.

Type need to be given unique labels.

We'd also like type labels to stay the same when the program is recompiled. Currently, labels will only change if the type name or number of variables changes, or the order of declaration of two types with the same name changes.

module type Unit = sig .. end

module Unit: Unit

module type Labeller = sig .. end

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