|
|
|---|
|
|
|
|---|
Raw constructor for honsed array-fieldinfo-p structures.
Syntax:
(honsed-array-fieldinfo tr-key size-key)
This is identical to array-fieldinfo, except that we hons the structure we are creating.
This is an ordinary honsing constructor introduced by std::defaggregate.
Function:
(defun honsed-array-fieldinfo (tr-key size-key) (declare (xargs :guard (and (symbolp tr-key) (symbolp size-key)))) (mbe :logic (array-fieldinfo tr-key size-key) :exec (hons :array (std::prod-hons tr-key size-key))))