let
r_pred =
function
|
Ceq
->
eq_real
|
Cneq
->
ne_real
|
Clt
->
lt_real
|
Cleq
->
le_real