Module Univ_map = Univ_map


include module type of Univ_map_intf
module Key = Type_equal.Id
module type S = sig .. end
module type S1 = sig .. end
include S with type 'a data = 'a
module Make (Data : sig .. end) : S with type 'a data = 'a Data.t
module Make1 (Data : sig .. end) : S1 with type ('s, 'a) data = ('s, 'a) Data.t
module With_default : sig .. end
keys with associated default values, so that find is no longer partial
module With_fold : sig .. end
keys that map to an accumulator value with an associated fold operation
module Multi : sig .. end
list-accumulating keys with a default value of the empty list