Modifying constructor for binary-op-implies structures.
(change-binary-op-implies x )
This is an often useful alternative to make-binary-op-implies.
We construct a new binary-op-implies structure that is a copy of
This is an ordinary
Macro:
(defmacro change-binary-op-implies (x &rest args) (std::change-aggregate 'binary-op-implies x args 'nil 'change-binary-op-implies 'nil))