cloudRoutine/incr_map

Helpers for incremental operations on map like data structures.

★ 0Forks 0OCamlGitHub ↗Compare

README

Incr\_map

A set of functions for operating incrementally and efficiently on map like data structures. This leverages new functionality in Incremental along with the ability to efficiently diff map data structures using Map.symmetric_diff.

Contributors

jdimino-jstrefisxclerc

Issues