let
rel_op =
function
|
Rlt
->
Lt
|
Rgt
->
Gt
|
Rle
->
Le
|
Rge
->
Ge
|
Req
->
Eq
|
Rneq
->
Ne