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