module T: Core_map_intf.Types with type 'a key = 'a with type ('a, +'b) t = ('a, 'b) t
Core_map_intf.Types
with type 'a key = 'a
with type ('a, +'b) t = ('a, 'b) t
type 'a key
'a
type ('a, +'b) t
('a, +'b)