Parameter Core_kernel__.Map_intf.Check_accessors.3-Key

type 'a t