113cd4c8960688af11ad23b4c946149015c80d54Joshua Brindlemodule modreq_type_global 1.0; 213cd4c8960688af11ad23b4c946149015c80d54Joshua Brindle 313cd4c8960688af11ad23b4c946149015c80d54Joshua Brindlerequire { 413cd4c8960688af11ad23b4c946149015c80d54Joshua Brindle type type_req_t; 513cd4c8960688af11ad23b4c946149015c80d54Joshua Brindle class file { read write }; 613cd4c8960688af11ad23b4c946149015c80d54Joshua Brindle} 713cd4c8960688af11ad23b4c946149015c80d54Joshua Brindle 813cd4c8960688af11ad23b4c946149015c80d54Joshua Brindletype mod_global_t; 913cd4c8960688af11ad23b4c946149015c80d54Joshua Brindle 1013cd4c8960688af11ad23b4c946149015c80d54Joshua Brindletype test_t; 1113cd4c8960688af11ad23b4c946149015c80d54Joshua Brindle 1213cd4c8960688af11ad23b4c946149015c80d54Joshua Brindleallow test_t type_req_t : file { read write }; 13