package partition_map

You can search for identifiers within the package.

in-package search v0.2.0

Partition maps

Install

Dune Dependency

github.com Readme Changelog Apache-2.0 License Edit opam file Versions (1)

Authors

L

Leonid Rozenberg <leonidr@gmail.com>

Maintainers

L

Leonid Rozenberg <leonidr@gmail.com>

Sources

sha256=20c1794555623d6e7135585b234b77557266ff4d91ad7b9f0581ac0808ec889c

md5=ff939b72760dd1dbd59a4ecf74e36617

README.md.html

Partition Maps

TL;DR: A partition map is a data structure to track associations where we privilege merging above other operations.

Please read this note!