|
|
|---|
|
|
|
|---|
Constructor macro for honsed vcd-multivector-p structures.
Syntax:
(make-honsed-vcd-multivector [:bits <bits>]
[:idcodes <idcodes>])
This is identical to make-vcd-multivector, except that we hons the structure we are creating.
This is an ordinary honsing
Macro:
(defmacro make-honsed-vcd-multivector (&rest args) (std::make-aggregate 'vcd-multivector args '((:bits) (:idcodes)) 'make-honsed-vcd-multivector t))