package batteries
A community-maintained standard library extension
Install
Dune Dependency
Authors
Maintainers
Sources
v3.3.0.tar.gz
sha256=40d18485911e343500a5636bbf1d84e2ee32f924fe87e5fd13a37641a4d8f226
md5=fe4da12b678a82faaeda4e58492ea871
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