Module Core_map_intf.S2.T


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

type 'a key 
type ('a, +'b) t