package batteries
A community-maintained standard library extension
Install
Dune Dependency
Authors
Maintainers
Sources
v3.4.0.tar.gz
md5=66b6e0b25769fc2363972c6a6ab6ac33
sha256=584d314cbaa5485e26d08ce87f7d7ff49043d9096101f2641b59def9aa6d7d71
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