let binop f a b = TERM.e_prim f [a;b]