• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
      • Io
      • Defttag
      • Sys-call
      • Save-exec
      • Quicklisp
      • Std/io
      • Oslib
      • Bridge
      • Clex
      • Tshell
      • Unsound-eval
      • Hacker
      • ACL2s-interface
      • Startup-banner
      • Command-line
        • Save-exec
        • Argv
        • Getopt
          • Demo-p
          • Defoptions
          • Demo2
            • Demo2-opts-p
              • Parse-demo2-opts
              • Demo2-opts
              • Make-demo2-opts
              • Change-demo2-opts
              • Make-honsed-demo2-opts
              • Honsed-demo2-opts
              • *demo2-opts-usage*
              • Demo2-opts->version
              • Demo2-opts->help
              • Demo2-opts->fail
            • Demo2-main
          • Parsers
          • Sanity-check-formals
          • Formal->parser
          • Formal->argname
          • Formal->longname
          • Formal->alias
          • Formal->usage
          • Formal->merge
          • Formal->hiddenp
    • Hardware-verification
    • Software-verification
    • Math
    • Testing-utilities
  • Demo2

Demo2-opts-p

(demo2-opts-p x) is a std::defaggregate of the following fields.

  • help — Print a help message and exit with status 0.
        Invariant (booleanp help).
  • version — Print out a version message and exit with status 0.
        Invariant (booleanp version).
  • fail — Print nothing and exit with status 1.
        Invariant (booleanp fail).

Source link: demo2-opts-p

Subtopics

Parse-demo2-opts
Parse arguments from the command line into a demo2-opts-p aggregate.
Demo2-opts
Raw constructor for demo2-opts-p structures.
Make-demo2-opts
Constructor macro for demo2-opts-p structures.
Change-demo2-opts
A copying macro that lets you create new demo2-opts-p structures, based on existing structures.
Make-honsed-demo2-opts
Constructor macro for honsed demo2-opts-p structures.
Honsed-demo2-opts
Raw constructor for honsed demo2-opts-p structures.
*demo2-opts-usage*
Automatically generated usage message.
Demo2-opts->version
Access the version field of a demo2-opts-p structure.
Demo2-opts->help
Access the help field of a demo2-opts-p structure.
Demo2-opts->fail
Access the fail field of a demo2-opts-p structure.