module W: Sig.Weight with type t = label
Sig.Weight
with type t = label
type t
val zero : t
t
val infinity : t
val compare : t -> t -> int
t -> t -> int
val add : t -> t -> t
t -> t -> t
val to_string : t -> string
t -> string