1module modreq_obj_global 1.0; 2 3require { 4 class file { read }; 5} 6 7type mod_global_t; 8 9type mod_foo_t; 10type mod_bar_t; 11 12optional { 13 require { 14 class sem { create destroy }; 15 } 16 17 type mod_opt_t; 18 19 allow mod_foo_t mod_bar_t : sem { create destroy }; 20} 21