		Search-engine friendly clone of the ACL2 documentation.

Change-api

Modifying constructor for api structures.

Syntax

(change-api x 
            [:inputs <inputs>] 
            [:output <output>])

This is an often useful alternative to make-api.

We construct a new api 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 fty::defprod.

Macro: change-api

(defmacro change-api (x &rest args)
  (std::change-aggregate 'api
                         x args
                         '((:inputs . api->inputs)
                           (:output . api->output))
                         'change-api
                         'nil))