|
|
|---|
|
|
|
|---|
Modifying constructor for vl-propeventually structures.
(change-vl-propeventually x
[:strongp <strongp>]
[:range <range>]
[:prop <prop>])
This is an often useful alternative to make-vl-propeventually.
We construct a new vl-propeventually structure that is a copy of
This is an ordinary
Macro:
(defmacro change-vl-propeventually (x &rest args) (std::change-aggregate 'vl-propeventually x args '((:strongp . vl-propeventually->strongp) (:range . vl-propeventually->range) (:prop . vl-propeventually->prop)) 'change-vl-propeventually 'nil))