		Search-engine friendly clone of the ACL2 documentation.

Demo-p

Make-demo

Constructor macro for demo-p structures.

Syntax:

(make-demo [:help <help>] 
           [:verbose <verbose>] 
           [:version <version>] 
           [:username <username>] 
           [:port <port>] 
           [:dirs <dirs>] 
           [:extra-stuff <extra-stuff>] 
           [:extra-stuff2 <extra-stuff2>])

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

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

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

Definition

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

Macro: make-demo

(defmacro make-demo (&rest args)
  (std::make-aggregate 'demo
                       args
                       '((:help)
                         (:verbose)
                         (:version)
                         (:username . "")
                         (:port . 55432)
                         (:dirs)
                         (:extra-stuff)
                         (:extra-stuff2 . ""))
                       'make-demo
                       nil))