Module type Gmap.E_DST

Signature for the destination graph.

type t
type edge
val empty : unit -> t
val add_edge_e : t -> edge -> t