1 module modreq_obj_global 1.0; 2 3 require { 4 class sem { create destroy }; 5 } 6 7 type mod_global_t; 8 9 type mod_foo_t; 10 type mod_bar_t; 11 12 allow mod_foo_t mod_bar_t : sem { create destroy }; 13 14
