Basic constructor macro for neteval-ordering-or-null-ordering structures.
(make-neteval-ordering-or-null-ordering [:ord <ord>])
This is the usual way to construct neteval-ordering-or-null-ordering structures. It simply conses together a structure with the specified fields.
This macro generates a new neteval-ordering-or-null-ordering structure from scratch. See also change-neteval-ordering-or-null-ordering, which can "change" an existing structure, instead.
This is an ordinary
Macro:
(defmacro make-neteval-ordering-or-null-ordering (&rest args) (std::make-aggregate 'neteval-ordering-or-null-ordering args '((:ord)) 'make-neteval-ordering-or-null-ordering nil))
Function:
(defun neteval-ordering-or-null-ordering (ord) (declare (xargs :guard (neteval-ordering-p ord))) (declare (xargs :guard t)) (let ((__function__ 'neteval-ordering-or-null-ordering)) (declare (ignorable __function__)) (b* ((ord (mbe :logic (neteval-ordering-fix ord) :exec ord))) (cons :ordering (list ord)))))