Module Fixpoint.G.E

module E: sig .. end

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