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)