module type WeightedGraphAlgo =sig..end
include Sig.GraphAlgo
type label
val iter_labeled_succ : (label -> vertex -> unit) -> t -> vertex -> unit
module WT:Sig.Tablewith type key = vertex and type value = label
module W:Sig.Weightwith type t = label