Constructor macro for honsed glcp-obj-ctrex-p structures.
Syntax:
(make-honsed-glcp-obj-ctrex [:descrip <descrip>] [:genv <genv>] [:obj-alist <obj-alist>] [:dont-care-spec <dont-care-spec>])
This is identical to make-glcp-obj-ctrex, except that we hons the structure we are creating.
This is an ordinary honsing
Macro:
(defmacro make-honsed-glcp-obj-ctrex (&rest args) (std::make-aggregate 'glcp-obj-ctrex args '((:descrip) (:genv) (:obj-alist) (:dont-care-spec)) 'make-honsed-glcp-obj-ctrex t))