package batteries
A community-maintained standard library extension
Install
Dune Dependency
Authors
Maintainers
Sources
v3.6.0.tar.gz
md5=1bcb27dfbd130eb057561196ef851649
sha512=2a56611b09a5f1cba6457539f8b6bc87a5f2a5454b36cdb39f6e0d6a5dac6db179aab1ba87c74dd49cc41df31a9a96feb349028ea41df7371ecb47f4d9dfafc4
doc/batteries.unthreaded/BatSplay/index.html
Module BatSplay
Maps over ordered types based on splay trees.
Splay trees are ordered binary trees that have the most recently used element as the root of the tree. If another element is accessed (even read-only), the tree will be rearranged internally.
Not threadsafe; even read-only functions will rearrange the tree, even though its contents will remain unchanged.
module Map (Ord : BatInterfaces.OrderedType) : sig ... end