Module Incr_map__.Incr_map_intf

module type S_gen = sig ... end

S_gen is the type of the module returned by Incr_map.Make. It is a specialization of the interface of Incr_map, with:

module type Incr_map = sig ... end