let f_op  _i = F.e_rop