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