Functor B0.Hmap.Make

module Make: 
functor (Key_info : KEY_INFO) ->
functor (* : sig
end) -> S with type 'a Key.info = 'a Key_info.t
Make (Key_info) () creates a new universe of heterogeneous maps with information key Key_info. Maps in different universes can create keys with the same name without being subject to renaming.
Parameters:
Key_info : KEY_INFO
* : ()


Maps


module Key: B0.Hmap.KEY 
Keys.
type 'a key = 'a Key.typed 
The type for keys whose lookup value is of type 'a.
include B0.Hmap.MAP
Maps.