sig
  type t
  val create_new : unit -> ProgLabel.t
  val compare : ProgLabel.t -> ProgLabel.t -> int
  val string_of : ProgLabel.t -> string
  val reset : unit -> unit
end