SplayMapFn functorANSITerm structureArrayQSort structureArrayQSortFn functorAtom structureBase64 structureBinaryMapFn functorBinarySetFn functorBitArray structureBSearchFn functorCharMap structureDynamicArray structureDynamicArrayFn functorEditDistance structureFifo structureFNVHash structureFormat structureFormatComb structureGetOpt structureGraphSCCFn functorHash2TableFn functorHASH_KEY signatureHashSetFn functorHashString structureHashTable structureHashTableFn functorINTERVAL_DOMAIN signatureIntervalSetFn functorIOUtil structureKeywordFn functorMONO_PRIORITYQ signatureLibBase structureListFormat structureListMapFn functorListMergeSort structureListSetFn functorListXProd structureMonoArrayFn functorMONO_HASH_TABLE signatureORD_KEY signatureORD_MAP signatureORD_SET signatureParserComb structurePathUtil structurePropList structureQueue structureRand structureRandom structureRealOrderStats structureRedBlackMapFn functorRedBlackSetFn functorScan structureSplayMapFn functorSplaySetFn functorTimeLimit structureUnivariateStats structureURef structureUTF8 structureThe SplayMapFn functor provides a splay-tree implementation of the
ORD_MAP signature parameterized over the key type.
It is recommended, however, that one use the RedBlackMapFn
functor instead of SplayMapFn, since experimentation has shown it to be
faster across the board.
functor SplayMapFn (K : ORD_KEY) :> ORD_MAP where type Key.ord_key = K.ord_key