Parameter Core_kernel__.Set_intf.Check_accessors.5-Cmp

type 'a t