next up previous contents index
Next: remove! Up: Data Structures Previous: coerce   Contents   Index


Queue


Usage

import from Queue T


Parameter Type Description
T Type the type of the entries


Description

Queue provides queues of entries of type $T$, $1$-indexed and without bound checking.


Exports

BoundedFiniteLinearStructureType T
DynamicDataStructureType T
remove!: % $\to$ T remove an element



Subsections

Manuel Bronstein 2004-06-28