let relation = function | Rlt -> `Blt | Rgt -> `Bgt | Rle -> `Ble | Rge -> `Bge | Req -> `Beq | Rneq -> `Bneq