package partition_map

  1. Overview
  2. Docs
Partition maps

Install

Dune Dependency

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

Authors

  1. L
    Leonid Rozenberg <leonidr@gmail.com>

Maintainers

  1. L
    Leonid Rozenberg <leonidr@gmail.com>

Sources

0.9.0.tar.gz
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!