Constructor macro for processed-stv-p structures.
(make-processed-stv [:name <name>] [:user-stv <user-stv>] [:compiled-stv <compiled-stv>] [:relevant-signals <relevant-signals>])
This is our preferred way to construct processed-stv-p structures. It simply conses together a structure with the specified fields.
This macro generates a new processed-stv-p structure from scratch. See also change-processed-stv, which can "change" an existing structure, instead.
The processed-stv-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-processed-stv instead.
This is an ordinary
(defmacro make-processed-stv (&rest args) (std::make-aggregate 'processed-stv args '((:name) (:user-stv) (:compiled-stv) (:relevant-signals)) 'make-processed-stv nil))