		Search-engine friendly clone of the ACL2 documentation.

Hyppair-p

Change-hyppair

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

Syntax:

(change-hyppair x 
                [:bfr-mode <bfr-mode>] 
                [:hyp <hyp>])

This is a sometimes useful alternative to make-hyppair. It constructs a new hyppair-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 std::defaggregate.

Macro: change-hyppair

(defmacro change-hyppair (x &rest args)
  (std::change-aggregate 'hyppair
                         x args
                         '((:bfr-mode . hyppair->bfr-mode)
                           (:hyp . hyppair->hyp))
                         'change-hyppair
                         'nil))