Functor RandLabel.MakeLabeller

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

Create a labeller. If you restrict the type of the labeller module to Labeller when creating it, the labels returned will have an incompatible type with labels from other modules. This is recommended to prevent different labels from being confused.

Parameters:

U : Unit

type label

The type of labels.

val next_label : unit -> label

A function which returns a different label every time it is called.

val shower : label Show.show

Shower for labels.