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