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