Library Documentation

Sequences
`signature SEQUENCE`	`structure ArraySequence`
`signature ST_SEQUENCE`	`functor MkSTSequence`
Binary Search Trees
`signature BST`	`functor MkTreap`
`signature AUG_BST`	`functor MkAugTreap`
Tables and Sets
`signature SET signature ORDSET`
`signature TABLE signature ORDTABLE`	`functor MkTreapTable`
`signature AUG_ORDTABLE signature MONOID`	`functor MkTreapAugTable`
Priority Queues
`signature PQ`	`functor MkLeftistHeapPQ`
Miscellaneous
`signature PRIMITIVES`	`structure Primitives`
`signature EQKEY signature ORDKEY signature HASHKEY signature ELEMENT`	`structure UnitElt structure BoolElt structure IntElt structure RealElt structure StringElt functor MkOptionElt functor MkPairElt functor MkTripleElt functor MkSeqElt`