signature BSTREE
signature SET
signature SEQUENCE
signature ST_SEQUENCE
signature TABLE
signature PQUEUE
structure ArraySequence
functor MkLeftistHeapPQ
functor MkSkewBinomialHeapPQ
functor MkSTSequence
functor MkTreapTable
If you find our set notation confusing, there is a detailed notation reference available.