1 module my_module 1.0; 2 3 require { 4 type alias_check_3_t; 5 } 6 7 typealias alias_check_3_t alias alias_check_3_a; 8 9