Library Documentation

Sequences
`signature SEQUENCE`	`structure ArraySequence structure TreeSequence structure ListSequence`
`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`	`functor MkTreapAugTable`
Priority Queues
`signature PQ`	`functor MkLeftistHeapPQ functor MkSkewBinomialHeapPQ`
Random Number Generators
`signature RANDOM210`	`structure DotMix`
Miscellaneous
`signature PRIMITIVES`	`structure Primitives`
`signature MONOID`
`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 MkListElt functor MkSeqElt`