Filtering...

constant-queries

books/std/system/constant-queries

Included Books

constant-value
other
(in-package "ACL2")
include-book
(include-book "constant-value")
other
(defxdoc std/system/constant-queries
  :parents (std/system)
  :short "Utilities to query constants.")