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