module E: sig endE.t and are labeled with type E.label.
src (resp. dst) returns the origin (resp. the destination) of a
given edge.ORDERED.type t
val compare : t -> t -> intval src : t -> Sig.G.V.tval dst : t -> Sig.G.V.ttype label
val create : Sig.G.V.t -> label -> Sig.G.V.t -> tcreate v1 l v2 creates an edge from v1 to v2 with label lval label : t -> label