Modifying constructor for type-map structures.
(change-type-map x [:domain <domain>] [:range <range>])
This is an often useful alternative to make-type-map.
We construct a new type-map structure that is a copy of
This is an ordinary
Macro:
(defmacro change-type-map (x &rest args) (std::change-aggregate 'type-map x args '((:domain . type-map->domain) (:range . type-map->range)) 'change-type-map 'nil))