Module Core_kernel__Univ_map_intf

Universal/heterogeneous maps, useful for storing values of arbitrary type in a single map.

In order to recover a value, it must be looked up with exactly the Key.t it was stored in. In other words, given different Key.ts from the same string, one will not be able to recover the key stored in the other one.

This is similar to Univ in spirit.

module type Key = sig ... end
module type Data = sig ... end
module type Data1 = sig ... end
module type S = sig ... end
module type S1 = sig ... end
module type Univ_map = sig ... end