sig type t module V : Sig.HASHABLE val fold_vertex : (V.t -> 'a -> 'a) -> Gmap.V_SRC.t -> 'a -> 'a end