sig
  type t = Print.Printer.V.t * Print.Printer.V.t
  val src : 'a * '-> 'a
  val dst : 'a * '-> 'b
end