Raw constructor for processed-stv-p structures.
(processed-stv name user-stv compiled-stv relevant-signals)
This is the lowest-level constructor for processed-stv-p structures. It simply conses together a structure with the specified fields.
Note: It's generally better to use macros like make-processed-stv or change-processed-stv instead. These macros lead to more readable and robust code, because you don't have to remember the order of the fields.
This is an ordinary constructor function introduced by std::defaggregate.
(defun processed-stv (name user-stv compiled-stv relevant-signals) (declare (xargs :guard (and (symbolp name) (compiled-stv-p compiled-stv)))) (cons :processed-stv (cons (cons 'name name) (cons (cons 'user-stv user-stv) (cons (cons 'compiled-stv compiled-stv) (cons (cons 'relevant-signals relevant-signals) nil))))))