|
|
|---|
|
|
|
|---|
Raw constructor for defdigits-infop structures.
Syntax:
(defdigits-info base digit-pred digit-fix
digits-pred digits-fix bendian-to-nat
lendian-to-nat nat-to-bendian
nat-to-lendian digits-description
digit-pred-correct digit-fix-correct
digits-pred-correct digits-fix-correct)This is the lowest-level constructor for defdigits-infop structures. It simply conses together a structure with the specified fields.
Note: It's generally better to use macros like make-defdigits-info or change-defdigits-info instead. These macros lead to more readable and robust code, because you don't have to remember the order of the fields.
The defdigits-infop structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see honsed-defdigits-info instead.
This is an ordinary constructor function introduced by std::defaggregate.
Function:
(defun defdigits-info (base digit-pred digit-fix digits-pred digits-fix bendian-to-nat lendian-to-nat nat-to-bendian nat-to-lendian digits-description digit-pred-correct digit-fix-correct digits-pred-correct digits-fix-correct) (declare (xargs :guard (and (dab-basep base) (symbolp digit-pred) (symbolp digit-fix) (symbolp digits-pred) (symbolp digits-fix) (symbolp bendian-to-nat) (symbolp lendian-to-nat) (symbolp nat-to-bendian) (symbolp nat-to-lendian) (stringp digits-description) (symbolp digit-pred-correct) (symbolp digit-fix-correct) (symbolp digits-pred-correct) (symbolp digits-fix-correct)))) (cons (cons 'base base) (cons (cons 'digit-pred digit-pred) (cons (cons 'digit-fix digit-fix) (cons (cons 'digits-pred digits-pred) (cons (cons 'digits-fix digits-fix) (cons (cons 'bendian-to-nat bendian-to-nat) (cons (cons 'lendian-to-nat lendian-to-nat) (cons (cons 'nat-to-bendian nat-to-bendian) (cons (cons 'nat-to-lendian nat-to-lendian) (cons (cons 'digits-description digits-description) (cons (cons 'digit-pred-correct digit-pred-correct) (cons (cons 'digit-fix-correct digit-fix-correct) (cons (cons 'digits-pred-correct digits-pred-correct) (cons (cons 'digits-fix-correct digits-fix-correct) nil)))))))))))))))