let assign pp1 pp2 fmt (x,a) =
  Format.fprintf fmt "@[";
  pp1 fmt x; 
  string fmt " |-> "; 
  pp2 fmt a;
  Format.fprintf fmt "@]"