module type Weight = sig .. end
sig
end
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