next up previous contents index
Next: findAll Up: BoundedFiniteDataStructureType Previous: BoundedFiniteDataStructureType   Contents   Index


size


Usage

# a


Signatures

#: % $\to$ MachineInteger


Parameter Type Description
a % a finite data structure


Returns

Returns the number of entries in the structure $a$.



Manuel Bronstein 2004-06-28