Module type Components.U

module type U = sig .. end

type t 
module V: Sig.COMPARABLE 
val iter_vertex : (V.t -> unit) -> t -> unit
val iter_edges : (V.t -> V.t -> unit) -> t -> unit