Library Documentation

Collection Types

signature BSTREE
signature SET
signature SEQUENCE
signature ST_SEQUENCE
signature TABLE
signature PQUEUE

Cost Specifications

structure ArraySequence
functor MkLeftistHeapPQ
functor MkSkewBinomialHeapPQ
functor MkSTSequence
functor MkTreapTable

If you find our set notation confusing, there is a detailed notation reference available.