let
cmp op a b =
Int_bin_comparison
(a, op, b)