next up previous contents index
Next: [] Up: Data Structures Previous: remove,removeAll   Contents   Index


FiniteLinearStructureType


Usage

FiniteLinearStructureType T: Category


Parameter Type Description
T Type the type of the entries


Description

FiniteLinearStructureType is the category of finite linear structures whose entries are of type T.


Exports

LinearStructureType T
[]: Tuple T $\to$ % construction of a structure
empty: % empty structure
new: (MachineInteger, T) $\to$ % creation of a structure



Subsections

Manuel Bronstein 2004-06-28