sig
  type t
  type label
  val src : Gml.G.E.t -> Gml.G.V.t
  val dst : Gml.G.E.t -> Gml.G.V.t
  val label : Gml.G.E.t -> Gml.G.E.label
end