Module PrintSlice.PrintProject.E

module E: sig .. end

type t = (PrintSlice.PrintProject.node * PrintSlice.PrintProject.node) *
Cil_types.stmt option
val src : ('a * 'b) * 'c -> 'a
val dst : ('a * 'b) * 'c -> 'b