let pp fmt (a, b) = Pretty.infix pp "=" pp fmt (a, b)