sig
  type label = G.e_label
  type vertex = int
  type t = int * IntDigraph.OcamlGraph.Concrete.E.label * int
  val create : 'a -> 'b -> 'c -> 'a * 'b * 'c
  val src : 'a * 'b * 'c -> 'a
  val dst : 'a * 'b * 'c -> 'c
  val label : 'a * 'b * 'c -> 'b
end