next up previous contents index
Next: empty? Up: Data Structures Previous: CheckingMemoryBlock   Contents   Index


DataStructureType


Usage

DataStructureType: Category


Description

DataStructureType is the category of general data structures, not necessarily finite or linear.


Exports

empty?: % $\to$ Boolean test whether a structure is empty
free!: % $\to$ () memory disposal



Subsections

Manuel Bronstein 2004-06-28