# create new module redis_ha 1.0; require { type etc_t; type redis_t; class file write; } #============= redis_t ============== allow redis_t etc_t:file write;