Library incr_map

The entry point for this library is module Incr_map.