|
|
|---|
|
|
|
|---|
Raw constructor for propiso-info-p structures.
Syntax:
(propiso-info iso-osi-ruleset-name iso-ruleset-name
osi-ruleset-name hints-map world)This is the lowest-level constructor for propiso-info-p structures. It simply conses together a structure with the specified fields.
Note: It's generally better to use macros like make-propiso-info or change-propiso-info instead. These macros lead to more readable and robust code, because you don't have to remember the order of the fields.
The propiso-info-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see honsed-propiso-info instead.
This is an ordinary constructor function introduced by std::defaggregate.
Function:
(defun propiso-info (iso-osi-ruleset-name iso-ruleset-name osi-ruleset-name hints-map world) (declare (xargs :guard (and (symbolp iso-osi-ruleset-name) (symbolp iso-ruleset-name) (symbolp osi-ruleset-name) (symbol-alistp hints-map) (plist-worldp world)))) (cons (cons 'iso-osi-ruleset-name iso-osi-ruleset-name) (cons (cons 'iso-ruleset-name iso-ruleset-name) (cons (cons 'osi-ruleset-name osi-ruleset-name) (cons (cons 'hints-map hints-map) (cons (cons 'world world) nil))))))