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