Filtering...

macro-queries

books/std/system/macro-queries

Included Books

macro-args-plus macro-keyword-args macro-keyword-args-plus macro-required-args macro-required-args-plus
other
(in-package "ACL2")
include-book
(include-book "macro-args-plus")
include-book
(include-book "macro-keyword-args")
include-book
(include-book "macro-keyword-args-plus")
include-book
(include-book "macro-required-args")
include-book
(include-book "macro-required-args-plus")
other
(defxdoc std/system/macro-queries
  :parents (std/system)
  :short "Utilities to query macros."
  :long (topstring-p "These utilities retrieve properties of macros in the @(see world)."))