|
|
|---|
|
|
|
|---|
Constructor macro for honsed stv-spec-p structures.
Syntax:
(make-honsed-stv-spec [:mod <mod>]
[:inputs <inputs>]
[:outputs <outputs>]
[:internals <internals>]
[:overrides <overrides>])
This is identical to make-stv-spec, except that we hons the structure we are creating.
This is an ordinary honsing
Macro:
(defmacro make-honsed-stv-spec (&rest args) (std::make-aggregate 'stv-spec args '((:mod . "") (:inputs) (:outputs) (:internals) (:overrides)) 'make-honsed-stv-spec t))