Imperative.W
type edge = G.E.t
type t
val weight : edge -> t
val compare : t -> t -> int
val add : t -> t -> t
val zero : t