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