sig
type t
and label
val compare : Flow.G_GOLDBERG.E.t -> Flow.G_GOLDBERG.E.t -> int
val create : V.t -> Flow.G_GOLDBERG.E.label -> V.t -> Flow.G_GOLDBERG.E.t
val label : Flow.G_GOLDBERG.E.t -> Flow.G_GOLDBERG.E.label
val dst : Flow.G_GOLDBERG.E.t -> V.t
val src : Flow.G_GOLDBERG.E.t -> V.t
end