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