Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Projects
Debugging
Std
Std/lists
Std/alists
Obags
Std/util
Std/strings
Std/io
Std/osets
Std/basic
Std/system
Fresh-logical-name-with-$s-suffix
Irrelevant-formals-info
Std/system/function-queries
Std/system/term-queries
Std/system/term-transformations
Std/system/enhanced-utilities
Install-not-normalized-event
Install-not-normalized-event-lst
Std/system/term-function-recognizers
Genvar$
Std/system/event-name-queries
Pseudo-tests-and-call-listp
Maybe-pseudo-event-formp
Add-suffix-to-fn-or-const
Chk-irrelevant-formals-ok
Table-alist+
Pseudo-tests-and-callp
Add-suffix-to-fn-or-const-lst
Known-packages+
Add-suffix-to-fn-lst
Unquote-term
Event-landmark-names
Add-suffix-lst
Std/system/theorem-queries
Unquote-term-list
Std/system/macro-queries
Macro-keyword-args
Macro-keyword-args+
Macro-required-args+
Macro-required-args
Macro-args+
Pseudo-command-landmark-listp
Install-not-normalized$
Pseudo-event-landmark-listp
Known-packages
Std/system/partition-rest-and-keyword-args
Rune-enabledp
Rune-disabledp
Included-books
Std/system/pseudo-event-formp
Std/system/plist-worldp-with-formals
Std/system/w
Std/system/geprops
Std/system/arglistp
Std/system/constant-queries
Std/typed-lists
Std/bitsets
Std/testing
Std/typed-alists
Std/stobjs
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Hardware-verification
Software-verification
Math
Testing-utilities
Std/system
Std/system/macro-queries
Utilities to query macros.
These utilities retrieve properties of macros in the
world
.
Subtopics
Macro-keyword-args
Keyword arguments of a macro, in order, with their default values.
Macro-keyword-args+
Enhanced variant of
macro-keyword-args
.
Macro-required-args+
Enhanced variant of
macro-required-args
.
Macro-required-args
Required arguments of a macro, in order.
Macro-args+
Enhanced variant of
macro-args
.
