G.E
type vertex = V.t
type label = E.t
type t = vertex * label * vertex
val src : ('a * 'b * 'c) -> 'a
val dst : ('a * 'b * 'c) -> 'c
val label : ('a * 'b * 'c) -> 'b
val create : 'a -> 'b -> 'c -> 'a * 'b * 'c
module C : sig ... end
val compare : (V.t * E.t * V.t) -> (V.t * E.t * V.t) -> int