module E:sig..end
ORDERED.type t
val compare : t -> t -> intval src : t -> Sig_pack.S.V.t
val 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 -> label
typevertex =Sig_pack.S.V.t