7.7 Queues

We now define queues in library style and then turn them into abstract data structures. The type of a queue object is:

unit(put    : value -> 
     get    : -> value
     top    : -> value
     size   : -> int
     isEmpty: -> bool
     clear  : -> 
     toList : -> list
     ... )



Denys Duchier, Claire Gardent and Joachim Niehren
Version 1.3.99 (20050412)