Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package incr_map
incr_map v0.9.0
Libraries
This package provides the following libraries (via ocamlobjinfo):
incr_map
Documentation:
Incr_mapFunctions 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.,kmodifications to the input map for some computation will result inkmodifications to the output map. The changes to the input map are typically computed usingMap.symmetric_diff.