Module type Sig.Weight

module type Weight = sig .. end
Labels are often weights.

type t 
val zero : t
val infinity : t
val compare : t -> t -> int
val add : t -> t -> t
val to_string : t -> string