Parameter Core_kernel.Set_intf.Check_accessors.3-Elt

type 'a t