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