let
i_op _i iop e1 e2 =
F
.e_iop iop e1 e2