let
e_rcmp op = binop (r_bool op)