Up – core_kernel » Core_kernel » Set_intf » Check_accessors2

Module `Set_intf.Check_accessors2`

Parameters

M : Accessors2

Signature