let
predop f a b =
PRED
.p_prim f [a;b]