blob: 941ca96c4925e5d8261c6fc7b81ad1d2924623fc [file] [log] [blame]
module modreq_perm_global 1.0;
require {
class msg { send receive };
}
type mod_global_t;
type a_t;
type b_t;
allow a_t b_t: msg { send receive };