partition_mapversion
Partition maps
A partition map is a data structure to track associations where we privilege merging above other operations.
| Author | Leonid Rozenberg <leonidr@gmail.com> |
|---|---|
| License | Apache-2.0 |
| Published | |
| Homepage | https://github.com/rleonid/partition_map/ |
| Issue Tracker | https://github.com/rleonid/partition_map/issues |
| Maintainer | Leonid Rozenberg <leonidr@gmail.com> |
| Dependencies |
|
| Source [http] | https://github.com/rleonid/partition_map/archive/0.9.0.tar.gz sha256=20c1794555623d6e7135585b234b77557266ff4d91ad7b9f0581ac0808ec889c md5=ff939b72760dd1dbd59a4ecf74e36617 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/partition_map/partition_map.0.9.0/opam |
No package is dependent
