15-210 SML Library Documentation

Guides
Using Trees, Dictionaries and Sets
Sequences
`signature SEQUENCE`	`structure ArraySequence`
Binary Search Trees
`signature BST`	`functor MkTreap`
`signature AUG_BST`	`functor MkAugTreap`
Sorted Dictionaries and Sets
`signature SORTED_DICT`	`functor MkTreapDict`
`signature SORTED_SET`	`functor MkTreapSet`
`signature AUG_SORTED_DICT`	`functor MkTreapAugDict`
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`