Parameter Vertex.2-G_Dst

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