• Top
    • Documentation
      • Xdoc
        • Undocumented
        • Save
        • Defsection
        • Markup
        • Preprocessor
        • Terminal
        • Emacs-links
        • Defxdoc
        • Katex-integration
        • Constructors
          • Primitive-constructors
          • Composite-constructors
            • Xdoc::apt-constructors
            • Generic-composite-constructors
              • Desc
              • Codeblock
              • Subsection
              • Section
              • Seetopic
              • Ahref
              • Topstring
              • Subsubsection
              • Subsubsubsection
              • Topstring-@def
              • Topstring-p
            • Event-macro-xdoc-constructors
          • Constructor-preliminaries
          • Trees
        • Entities
        • Defxdoc+
        • Save-rendered
        • Add-resource-directory
        • Testing
        • Order-subtopics
        • Save-rendered-event
        • Archive-matching-topics
        • Archive-xdoc
        • Xdoc-extend
        • Set-default-parents
        • Missing-parents
        • Defpointer
        • Defxdoc-raw
        • Xdoc-tests
        • Xdoc-prepend
        • Defsection-progn
        • Gen-xdoc-for-file
      • ACL2-doc
      • Recursion-and-induction
      • Loop$-primer
      • Operational-semantics
      • Pointers
      • Doc
      • Documentation-copyright
      • Course-materials
      • Args
      • ACL2-doc-summary
      • Finding-documentation
      • Broken-link
      • Doc-terminal-test-2
      • Doc-terminal-test-1
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Math
    • Testing-utilities
  • Composite-constructors

Generic-composite-constructors

Generic composite XDOC constructors.

These are composite XDOC constructors that should be generally useful. Other composite XDOC constructors are more specific.

Subtopics

Desc
Construct an XDOC tree for a description.
Codeblock
Construct an XDOC tree for a code block @({...}) from a sequence of strings.
Subsection
Construct a subsection with a title and some content.
Section
Construct a section with a title and some content.
Seetopic
Construct an XDOC tree for a string of the form <see topic="@(url ...)">...</see>.
Ahref
Construct an XDOC tree for a string of the form <a href="...">...</a>.
Topstring
Construct an XDOC string from a sequence of XDOC trees.
Subsubsection
Construct a subsubsection with a title and some content.
Subsubsubsection
Construct a subsubsubsection with a title and some content.
Topstring-@def
Construct an XDOC string with a single definition directive.
Topstring-p
Construct an XDOC string with a single paragraph.