1module modreq_type_global 1.0; 2 3require { 4 type type_req_t; 5 class file { read write }; 6} 7 8type mod_global_t; 9 10type test_t; 11 12allow test_t type_req_t : file { read write }; 13