Data-structures
The books/data-structures library
Also see std. The books/data-structures library is
much older, much smaller, and less maintained than the std library.
Subtopics
- Deflist
- Define a new list type, and a theory of the list type.
- Defalist
- Define a new alist type, and a theory of the alist type.
- Memory
- Special records designed for array-like usage.
- Defstructure
- Define and characterize a general purpose record structure with typed
slots.
- Array1
- A book of lemmas that characterize 1-dimensional arrays.
- Utilities
- A book of utility functions residing in the package "U".
