signature BSTREE
signature SET
signature SEQUENCE
signature ST_SEQUENCE
signature TABLE
signature PQUEUE
structure ArraySequence
functor MkLeftistHeapPQ
functor MkSkewBinomialHeapPQ
functor MkSTSequence
functor MkTreapTable