1 module module_compile_test 1.0; 2 3 require { 4 type foo, bar; 5 class file { read write }; 6 } 7 8 allow foo bar : file { read write }; 9
