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