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