module modreq_type_opt 1.0;

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

type mod_global_t;

optional {
	require {
		type type_req_t;
	}
	type mod_opt_t;
	allow type_req_t file_t : file { read write };
}