1 module my_module 1.0; 2 3 require { 4 class file {read write}; 5 ifdef(`enable_mls',` 6 user user_check_1; 7 ') 8 } 9 10