Parameter Core_kernel.Map_intf.Check_creators.3-Key

type 'a t