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