previous operator that can be used in place of this operator.
Definition at line 31 of file opt_op_info.hpp.