Constructor macro for honsed wcp-example-app-p structures.
Syntax:
(make-honsed-wcp-example-app [:instrule <instrule>] [:bindings <bindings>])
This is identical to make-wcp-example-app, except that we hons the structure we are creating.
This is an ordinary honsing
Macro:
(defmacro make-honsed-wcp-example-app (&rest args) (std::make-aggregate 'wcp-example-app args '((:instrule) (:bindings)) 'make-honsed-wcp-example-app t))