module my_module 1.0; require { type alias_check_3_t; } typealias alias_check_3_t alias alias_check_3_a;