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