let predop f a b = F.p_call f [F.wrap a;F.wrap b]