Module type RandLabel.Labeller

module type Labeller = sig .. end

A label typel, and a labeller function.

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.