Parameter Core_kernel__.Set_intf.Check_creators.4-Cmp

type 'a t