Значениями типа << очередь элементов типа T>>, как и для стеков, являются последовательности значений типа T. Разница состоит в том, что берутся элементы не с конца, а с начала (а добавляются по-прежнему в конец).
Операции с очередями:
При выполнении команды << Добавить>> указанный элемент добавляется в конец очереди. Команда << Взять>> выполнима, лишь если очередь непуста, и забирает из нее первый (положенный туда раньше всех) элемент, помещая его в t. Значением функции << Очередной>> (определенной для непустой очереди) является первый элемент очереди.
Английские названия стеков -- Last In First Out (последним вошел -- первым вышел), а очередей -- First In First Out (первым вошел -- первым вышел). Сокращения: LIFO, FIFO.