1 module modreq_bool_opt 1.0; 2 3 require { 4 class file {read write}; 5 6 } 7 8 type mod_global_t; 9 10 optional { 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