Module type Gmap.V_DST

Signature for the destination graph.

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