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