		Search-engine friendly clone of the ACL2 documentation.

Vl-tokstream-backup-p

Make-honsed-vl-tokstream-backup

Constructor macro for honsed vl-tokstream-backup-p structures.

Syntax:

(make-honsed-vl-tokstream-backup [:tokens <tokens>] 
                                 [:pstate <pstate>])

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

Definition

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

Macro: make-honsed-vl-tokstream-backup

(defmacro make-honsed-vl-tokstream-backup (&rest args)
  (std::make-aggregate 'vl-tokstream-backup
                       args '((:tokens) (:pstate))
                       'make-honsed-vl-tokstream-backup
                       t))