Parameter Core_kernel__.Map_intf.Check_creators.3-Key

type 'a t