module E:Edgessig..end
ORDERED.type t
val compare : t -> t -> intval src : t -> Sig_pack.S.V.tval dst : t -> Sig_pack.S.V.ttypelabel =int
val create : Sig_pack.S.V.t -> label -> Sig_pack.S.V.t -> tcreate v1 l v2 creates an edge from v1 to v2 with label lval label : t -> labeltypevertex =Sig_pack.S.V.t