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