		Search-engine friendly clone of the ACL2 documentation.

Scalar-fieldinfo-p

Make-scalar-fieldinfo

Constructor macro for scalar-fieldinfo-p structures.

Syntax:

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

This is our preferred way to construct scalar-fieldinfo-p structures. It simply conses together a structure with the specified fields.

This macro generates a new scalar-fieldinfo-p structure from scratch. See also change-scalar-fieldinfo, which can "change" an existing structure, instead.

The scalar-fieldinfo-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-scalar-fieldinfo instead.

Definition

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

Macro: make-scalar-fieldinfo

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