Marshmallow  |  6.0.1_r16
普通文本  |  14行  |  182 B 

module modreq_obj_global 1.0;

require { 
	class sem { create destroy };
}

type mod_global_t;

type mod_foo_t;
type mod_bar_t;

allow mod_foo_t mod_bar_t : sem { create destroy };