1module modreq_bool_global 1.0; 2 3require { 4 bool bool_req; 5 class file { read write }; 6} 7 8type mod_global_t; 9 10type a_t; 11type b_t; 12 13if (bool_req) { 14 allow a_t b_t : file { read write }; 15} 16