Module Core_kernel.Set_intf.Check_accessors2

Parameters

Signature