Constructor macro for honsed ecutnames-p structures.
Syntax:
(make-honsed-ecutnames [:original <original>] [:value <value>] [:value-reg <value-reg>] [:decision-wire <decision-wire>] [:decision-reg <decision-reg>] [:mux <mux>])
This is identical to make-ecutnames, except that we hons the structure we are creating.
This is an ordinary honsing
Macro:
(defmacro make-honsed-ecutnames (&rest args) (std::make-aggregate 'ecutnames args '((:original) (:value) (:value-reg) (:decision-wire) (:decision-reg) (:mux)) 'make-honsed-ecutnames t))