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