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