package incr_map

  1. Overview
  2. Docs

incr_map v0.11.0


This package provides the following libraries (via ocamlobjinfo):



  • Incr_map Functions for using maps efficiently within Incremental. The goal of the algorithms here is to do work on the output of the computation proportional to the amount of work done on the input. i.e., k modifications to the input map for some computation will result in k modifications to the output map. The changes to the input map are typically computed using Map.symmetric_diff.