Module Incr_map
include Incr_map__.Incr_map_intf.Incr_map
module Make : functor (Incr : Incremental.S) -> Incr_map__.Incr_map_intf.S with module Incr := IncrIncr_mapinclude Incr_map__.Incr_map_intf.Incr_mapmodule Make : functor (Incr : Incremental.S) -> Incr_map__.Incr_map_intf.S with module Incr := Incr