type t
val compare : t -> t -> int
type vertex = V.t
val src : t -> vertexEdge origin.
val dst : t -> vertexEdge destination.
type label = unit
val create : vertex -> label -> vertex -> tcreate v1 l v2 creates an edge from v1 to v2 with label l
val label : t -> labelGet the label of an edge.