		Search-engine friendly clone of the ACL2 documentation.

Token-p

Change-token

A copying macro that lets you create new token-p structures, based on existing structures.

Syntax:

(change-token x 
              [:type <type>] 
              [:text <text>])

This is a sometimes useful alternative to make-token. It constructs a new token-p structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

Definition

This is an ordinary change- macro introduced by defaggregate.

Macro: change-token

(defmacro change-token (x &rest args)
  (std::change-aggregate 'token
                         x args
                         '((:type . token->type)
                           (:text . token->text))
                         'change-token
                         'remake-token))