Parameter Core_kernel.Set_intf.Check_accessors.4-Named

type ('a, 'b) t