Parameter Core_kernel.Set_intf.Check_accessors.5-Cmp

type 'a t