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