let triple pp1 pp2 pp3 fmt (a,b,c) =
  Format.fprintf fmt "(";
  pp1 fmt a;
  string fmt ",";
  pp2 fmt b;
  string fmt ",";
  pp3 fmt c;
  Format.fprintf fmt ")@?"