signature BST
signature SET
signature SEQUENCE
signature ST_SEQUENCE
signature TABLE
signature PRIORITY_QUEUE
structure ArraySequence
functor MkLeftistHeapPQ
functor MkSkewBinomialHeapPQ
functor MkSTSequence
functor MkTreapTable