Parameter Core_kernel.Map_intf.Check_accessors.3-Key

type 'a t