module modreq_bool_global 1.0;

require { 
	bool bool_req;
	class file { read write };
}

type mod_global_t;

type a_t;
type b_t;

if (bool_req) {
	allow a_t b_t : file { read write };
}