Module Univ_map_intf

module Univ_map_intf: sig .. end
The 's parameter is shared across all values stored in the map.

module Key: Type_equal.Id
module type S = sig .. end
module type S1 = sig .. end

The 's parameter is shared across all values stored in the map.