module ProgLabel: sig .. end
Module that provides types, values and function
for the program labels.
type
a program label
val create_new : unit -> t
create a new program label.
val compare : t -> t -> int
Compares to program labels.
val string_of : t -> string
Returns a string representation of a program label
val reset : unit -> unit
IMPORTENT: Do only use this function for tests.
It resets the internal state. So the invariant,
that every program label created by create_new
is unique is lost after calling this method.