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