sig
  type t =
      (PrintSlice.PrintProject.t_node * PrintSlice.PrintProject.t_node) *
      PrintSlice.T.t_call_id option
  val src : ('a * 'b) * '-> 'a
  val dst : ('a * 'b) * '-> 'b
end