sig type t type vertex val empty : unit -> Gmap.V_DST.t val add_vertex : Gmap.V_DST.t -> Gmap.V_DST.vertex -> Gmap.V_DST.t end