		Search-engine friendly clone of the ACL2 documentation.

Vl-inttoken-p

Make-honsed-vl-inttoken

Constructor macro for honsed vl-inttoken-p structures.

Syntax:

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

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

Definition

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

Macro: make-honsed-vl-inttoken

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