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