Up
Module
Check_accessors1
(
M
:
Accessors1
)
Parameters
M
:
Accessors1