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