package batteries
A community-maintained standard library extension
Install
Dune Dependency
Authors
Maintainers
Sources
v3.5.1.tar.gz
md5=d3d16ffc960e832a1c0e21b7123194e9
sha512=36c8561079aa9fefc864c2f03bd8ae20aa05987bb67e7a9beac3ab4f440dbf7d44f141c172b05fddb1a5b618fc55a27962bb45fc39bd7b3a15d56e0ed3ff3870
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