Module type Core_map_intf.Types


module type Types = sig .. end

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