Module PdgTypes.Pdg.Printer.E

module E: sig .. end

type t = PdgTypes.G.E.t * bool 
boolean to say that the edge is dynamic
val src : ('a * 'b * 'c) * 'd -> 'c
val dst : ('a * 'b * 'c) * 'd -> 'a