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