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