module my_module 1.0;

require { 
	class file {read write};
	role role_check_1;
}

type role_check_1_2_t;
role role_check_1 types role_check_1_2_t;