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.
This is an ordinary