16cd6a6acSopenharmony_cimodule modreq_bool_opt 1.0; 26cd6a6acSopenharmony_ci 36cd6a6acSopenharmony_cirequire { 46cd6a6acSopenharmony_ci class file {read write}; 56cd6a6acSopenharmony_ci 66cd6a6acSopenharmony_ci} 76cd6a6acSopenharmony_ci 86cd6a6acSopenharmony_citype mod_global_t; 96cd6a6acSopenharmony_ci 106cd6a6acSopenharmony_cioptional { 116cd6a6acSopenharmony_ci require { 126cd6a6acSopenharmony_ci bool bool_req; 136cd6a6acSopenharmony_ci } 146cd6a6acSopenharmony_ci 156cd6a6acSopenharmony_ci type a_t; 166cd6a6acSopenharmony_ci type b_t; 176cd6a6acSopenharmony_ci type mod_opt_t; 186cd6a6acSopenharmony_ci 196cd6a6acSopenharmony_ci if (bool_req) { 206cd6a6acSopenharmony_ci allow a_t b_t : file { read write }; 216cd6a6acSopenharmony_ci } 226cd6a6acSopenharmony_ci} 23