Index of books/std/typed-lists

Files

• acl2-number-listp
• atom-listp
• boolean-listp
• character-listp
• cons-listp
• eqlable-listp
• integer-listp
• nat-listp
• portcullis
• pseudo-term-listp
• rational-listp
• signed-byte-listp
• string-listp
• string-or-symbol-listp
• symbol-listp
• top
• unsigned-byte-listp