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