let pp fmt = function
  | Zero -> Pretty.string fmt "=0"
  | Pos -> Pretty.string fmt ">0"
  | Neg -> Pretty.string fmt "<0"
  | Nonneg -> Pretty.string fmt ">=0"
  | Nonpos -> Pretty.string fmt "<=0"
  | F -> Pretty.string fmt "bot"
  | T -> Pretty.string fmt "real"