		Search-engine friendly clone of the ACL2 documentation.

Vl-inttoken-p

Make-vl-inttoken

Constructor macro for vl-inttoken-p structures.

Syntax:

(make-vl-inttoken [:etext <etext>] 
                  [:width <width>] 
                  [:signedp <signedp>] 
                  [:value <value>] 
                  [:bits <bits>] 
                  [:wasunsized <wasunsized>] 
                  [:breakp <breakp>])

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

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

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

Definition

This is an ordinary make- macro introduced by defaggregate.

Macro: make-vl-inttoken

(defmacro make-vl-inttoken (&rest args)
  (std::make-aggregate 'vl-inttoken
                       args
                       '((:etext)
                         (:width)
                         (:signedp)
                         (:value)
                         (:bits)
                         (:wasunsized)
                         (:breakp))
                       'make-vl-inttoken
                       nil))