1 2 3 4 5 6 7 8 9 10
module modreq_attr_global 1.0; require { attribute attr_req; } type mod_global_t; type new_t, attr_req;