Module ProgLabel


module ProgLabel: sig .. end
Module that provides types, values and function for the program labels.

type t 
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.