Binary.Int_op
type division_is_safe =
| Safe
| Unsafe
type t =
| Add
| Sub
| Mul
| Div of division_is_safe
| Mod of division_is_safe
| And
| Or
| Xor
val to_string : t -> string