let pp_equal fmt (x,y) = 
  Pretty.infix pp "=" pp fmt (x,y)