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 % construction of a structure empty: % empty structure new: (MachineInteger, T) % creation of a structure