Functor TypeLabel.MakeLabeller

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

Parameters:

Unit : Unit

type label

Create a label, and tag it with a number to make it unique.

val new_tagged_label : string -> label

val label_of_string : string -> label

val equal : label -> label -> bool

val compare : label -> label -> int

val hash : label -> int

val long_shower : label Show.show

val short_shower : label Show.show