Parameter Core_kernel__.Set_intf.Check_accessors.3-Elt

type 'a t