Module type Gmap.V_DST

module type V_DST = sig .. end
Signature for the destination graph.

type t 
type vertex 
val empty : unit -> t
val add_vertex : t -> vertex -> t