module modreq_type_global 1.0;

require { 
	type type_req_t;
	class file { read write };
}

type mod_global_t;

type test_t;

allow test_t type_req_t : file { read write };