SET-WORMHOLE-DATA.html -- ACL2 Version 6.3

## SET-WORMHOLE-DATA

sets the wormhole data object in a wormhole status object

    Major Section:  MISCELLANEOUS

    General Form:  (set-wormhole-data whs data)

See wormhole. `Whs` should be a well-formed wormhole status; `data` is arbitrary. This function returns a new status with the same entry code as `whs` but with the new `data`. It avoids unnecessary consing if the data for `whs` is already set to `data`. This function does not affect state or a wormhole's hidden status. It just returns a (possibly) new status object suitable as the value of the `lambda` expressions in `wormhole-eval` and `wormhole`.