16cd6a6acSopenharmony_cimodule modreq_bool_global 1.0; 26cd6a6acSopenharmony_ci 36cd6a6acSopenharmony_cirequire { 46cd6a6acSopenharmony_ci bool bool_req; 56cd6a6acSopenharmony_ci class file { read write }; 66cd6a6acSopenharmony_ci} 76cd6a6acSopenharmony_ci 86cd6a6acSopenharmony_citype mod_global_t; 96cd6a6acSopenharmony_ci 106cd6a6acSopenharmony_citype a_t; 116cd6a6acSopenharmony_citype b_t; 126cd6a6acSopenharmony_ci 136cd6a6acSopenharmony_ciif (bool_req) { 146cd6a6acSopenharmony_ci allow a_t b_t : file { read write }; 156cd6a6acSopenharmony_ci} 16