let
i_pred =
function
|
Ceq
->
eq_int
|
Cneq
->
ne_int
|
Clt
->
lt_int
|
Cleq
->
le_int