		Search-engine friendly clone of the ACL2 documentation.

Scalar-fieldinfo-p

Make-honsed-scalar-fieldinfo

Constructor macro for honsed scalar-fieldinfo-p structures.

Syntax:

(make-honsed-scalar-fieldinfo [:key <key>])

This is identical to make-scalar-fieldinfo, except that we hons the structure we are creating.

Definition

This is an ordinary honsing make- macro introduced by std::defaggregate.

Macro: make-honsed-scalar-fieldinfo

(defmacro make-honsed-scalar-fieldinfo (&rest args)
  (std::make-aggregate 'scalar-fieldinfo
                       args '((:key))
                       'make-honsed-scalar-fieldinfo
                       t))