Parameter Core_kernel__.Set_intf.Check_creators.3-Elt

type 'a t