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