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