1module modreq_bool_opt 1.0; 2 3require { 4 class file {read write}; 5 6} 7 8type mod_global_t; 9 10optional { 11 require { 12 bool bool_req; 13 } 14 15 type a_t; 16 type b_t; 17 type mod_opt_t; 18 19 if (bool_req) { 20 allow a_t b_t : file { read write }; 21 } 22} 23