let pp_print_binop ppf b =
  let t = function
      PbinTimes -> "*"
    | PbinDiv -> "/"
    | PbinPlus -> "+"
    | PbinMinus -> "-"
    | PbinModulo -> "%"
    | PbinLshift -> "<<"
    | PbinRshift -> ">>"
    | PbinLogAnd -> "&&"
    | PbinLogOr -> "||"
    | PbinIntAnd -> "&"
    | PbinIntOr -> "|"
    | PbinIntXor -> "^"
    | PbinLessThan -> "<"
    | PbinLessEqual -> "<="
    | PbinGtrThan -> ">"
    | PbinGtrEqual -> ">="
    | PbinEqual -> "=="
    | PbinNotEqual -> "!="
  in
  pp_print_string ppf (t b)