Included Books
cons-pos-alistp
keyword-to-keyword-value-list-alistp
keyword-symbol-alistp
keyword-truelist-alistp
string-string-alistp
string-stringlist-alistp
string-symbol-alistp
string-symbollist-alistp
symbol-alistp
symbol-nat-alistp
symbol-pos-alistp
symbol-pseudoeventform-alistp
symbol-pseudoterm-alistp
symbol-string-alistp
symbol-symbol-alistp
symbol-symbollist-alistp
symbol-truelist-alistp
constructors
other
(in-package "ACL2")
include-book
(include-book "cons-pos-alistp")
include-book
(include-book "keyword-to-keyword-value-list-alistp")
include-book
(include-book "keyword-symbol-alistp")
include-book
(include-book "keyword-truelist-alistp")
include-book
(include-book "string-string-alistp")
include-book
(include-book "string-stringlist-alistp")
include-book
(include-book "string-symbol-alistp")
include-book
(include-book "string-symbollist-alistp")
include-book
(include-book "symbol-alistp")
include-book
(include-book "symbol-nat-alistp")
include-book
(include-book "symbol-pos-alistp")
include-book
(include-book "symbol-pseudoeventform-alistp")
include-book
(include-book "symbol-pseudoterm-alistp")
include-book
(include-book "symbol-string-alistp")
include-book
(include-book "symbol-symbol-alistp")
include-book
(include-book "symbol-symbollist-alistp")
include-book
(include-book "symbol-truelist-alistp")
include-book
(include-book "xdoc/constructors" :dir :system)
other
(defxdoc std/typed-alists :parents (std) :short "Typed alists." :long (topstring (p "A library of alists with keys and values of specific types. The key and value types are built-in types, or ``general'' types in @(csee Std).")))