|
|
|---|
|
|
|
|---|
Raw constructor for stv-spec-p structures.
Syntax:
(stv-spec mod inputs outputs internals overrides)
This is the lowest-level constructor for stv-spec-p structures. It simply conses together a structure with the specified fields.
Note: It's generally better to use macros like make-stv-spec or change-stv-spec instead. These macros lead to more readable and robust code, because you don't have to remember the order of the fields.
The stv-spec-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see honsed-stv-spec instead.
This is an ordinary constructor function introduced by std::defaggregate.
Function:
(defun stv-spec (mod inputs outputs internals overrides) (declare (xargs :guard (and (stringp mod)))) (cons :stv-spec-p (cons (cons 'mod mod) (cons (cons 'inputs inputs) (cons (cons 'outputs outputs) (cons (cons 'internals internals) (cons (cons 'overrides overrides) nil)))))))