1module modreq_attr_opt 1.0; 2 3require { 4 class file {read write}; 5 6} 7 8type mod_global_t; 9 10optional { 11 require { 12 attribute attr_req; 13 } 14 type mod_opt_t; 15 type new_t, attr_req; 16} 17