Up – core_kernel » Core_kernel » Set_intf » Check_accessors1

Module `Set_intf.Check_accessors1`

Parameters

module M : Accessors1

Signature