• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Community
    • Std
    • Proof-automation
    • Macro-libraries
      • B*
      • Defunc
      • Fty
      • Apt
      • Std/util
      • Defdata
      • Defrstobj
      • Seq
      • Match-tree
      • Defrstobj
      • With-supporters
      • Def-partial-measure
      • Template-subst
      • Soft
      • Defthm-domain
      • Event-macros
        • Evmac-input-hints-p
        • Evmac-input-print-p
        • Event-macro-input-processing
        • Function-definedness
        • Event-macro-screen-printing
        • Make-event-terse
        • Event-macro-applicability-conditions
        • Event-macro-results
        • Template-generators
        • Event-macro-event-generators
        • Event-macro-proof-preparation
        • Try-event
        • Restore-output?
        • Restore-output
        • Fail-event
        • Cw-event
        • Event-macro-xdoc-constructors
          • Event-macro-xdoc-constructors-user-level
            • Xdoc::evmac-desc-function/lambda/macro
            • Xdoc::evmac-desc-term
            • Xdoc::evmac-topic-design-notes
            • Xdoc::evmac-appcond
            • Xdoc::evmac-desc-input-name
            • Xdoc::evmac-section-redundancy
            • Xdoc::evmac-input-show-only
            • Xdoc::evmac-input-print
            • Xdoc::evmac-desc-input-enable-t/nil
            • Xdoc::evmac-section-appconds
            • Xdoc::evmac-input-hints
            • Xdoc::evmac-section-generated
            • Xdoc::evmac-section-intro
            • Xdoc::evmac-section-inputs
              • Xdoc::evmac-section-form
            • Event-macro-xdoc-constructors-implementation-level
          • Event-macro-intro-macros
        • Def-universal-equiv
        • Def-saved-obligs
        • With-supporters-after
        • Definec
        • Sig
        • Outer-local
        • Data-structures
      • ACL2
      • Interfacing-tools
      • Hardware-verification
      • Software-verification
      • Math
      • Testing-utilities
    • Event-macro-xdoc-constructors-user-level

    Xdoc::evmac-section-inputs

    Construct the inputs section of the user documentation of an event macro.

    Macro: evmac-section-inputs

    (defmacro xdoc::evmac-section-inputs (&rest content)
      (cons 'xdoc::section
            (cons 'xdoc::*evmac-section-inputs-title*
                  content)))