		Search-engine friendly clone of the ACL2 documentation.

Demo2-opts-p

Make-demo2-opts

Constructor macro for demo2-opts-p structures.

Syntax:

(make-demo2-opts [:help <help>] 
                 [:version <version>] 
                 [:fail <fail>])

This is our preferred way to construct demo2-opts-p structures. It simply conses together a structure with the specified fields.

This macro generates a new demo2-opts-p structure from scratch. See also change-demo2-opts, which can "change" an existing structure, instead.

The demo2-opts-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-demo2-opts instead.

Definition

This is an ordinary make- macro introduced by std::defaggregate.

Macro: make-demo2-opts

(defmacro make-demo2-opts (&rest args)
  (std::make-aggregate 'demo2-opts
                       args '((:help) (:version) (:fail))
                       'make-demo2-opts
                       nil))