Module Path.G.E


module E: sig  end

type t 
type label 
val label : t -> label
val dst : t -> V.t