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