<< Prev | - Up - | Next >> |
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
... )
<< Prev | - Up - | Next >> |