Module Core_map_intf.S.T


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

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