Constructor macro for honsed processed-stv-p structures.
(make-honsed-processed-stv [:name <name>] [:user-stv <user-stv>] [:compiled-stv <compiled-stv>] [:relevant-signals <relevant-signals>])
This is identical to make-processed-stv, except that we hons the structure we are creating.
This is an ordinary honsing
(defmacro make-honsed-processed-stv (&rest args) (std::make-aggregate 'processed-stv args '((:name) (:user-stv) (:compiled-stv) (:relevant-signals)) 'make-honsed-processed-stv t))