1module my_module 1.0; 2 3require { 4 class file {read write}; 5 role role_check_1; 6} 7 8type role_check_1_2_t; 9role role_check_1 types role_check_1_2_t; 10