• Top
  • Documentation
  • Books
  • Recursion-and-induction
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
    • Std/lists
    • Std/alists
    • Obags
    • Std/util
    • Std/strings
    • Std/io
    • Std/osets
    • Std/system
    • Std/basic
    • Std/typed-lists
    • Std/bitsets
    • Std/testing
    • Std/typed-alists
      • Symbol-symbol-alistp
      • String-string-alistp
      • Symbol-string-alistp
      • Symbol-pseudoterm-alistp
      • String-symbollist-alistp
      • Symbol-pos-alistp
      • Cons-pos-alistp
      • Symbol-symbollist-alistp
      • Symbol-truelist-alistp
      • Keyword-symbol-alistp
      • String-stringlist-alistp
      • Keyword-truelist-alistp
      • Symbol-nat-alistp
      • String-symbol-alistp
      • Keyword-to-keyword-value-list-alistp
      • Std/typed-alists/symbol-alistp
    • Std/stobjs
    • Std-extensions
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Testing-utilities
  • Math

• Std

Std/typed-alists

Typed alists.

A library of alists with keys and values of specific types. The key and value types are built-in types, or ``general'' types in Std.

Subtopics

Symbol-symbol-alistp

Recognize alists from symbols to symbols.

String-string-alistp

Recognize alists from strings to strings.

Symbol-string-alistp

Recognize alists from symbols to strings.

Symbol-pseudoterm-alistp

Recognize alists from symbols to pseudo-terms.

String-symbollist-alistp

Recognize alists from strings to true lists of symbols.

Symbol-pos-alistp

Recognize alists from symbols to positive integers.

Cons-pos-alistp

Recognize alists from cons pairs to positive integers.

Symbol-symbollist-alistp

Recognize alists from symbols to true lists of symbols.

Symbol-truelist-alistp

Recognize alists from symbols to true lists.

Keyword-symbol-alistp

Recognize alists from keywords to symbols.

String-stringlist-alistp

Recognize alists from strings to true lists of strings.

Keyword-truelist-alistp

Recognize alists from keywords to true lists.

Symbol-nat-alistp

Recognize alists from symbols to natural numbers.

String-symbol-alistp

Recognize alists from strings to symbols.

Keyword-to-keyword-value-list-alistp

Recognize alists from keywords to keyword-value lists.

Std/typed-alists/symbol-alistp

Theorems about the built-in symbol-alistp.