sig
  type t = label
  val zero : t
  val infinity : t
  val compare : t -> t -> int
  val add : t -> t -> t
  val to_string : t -> string
end