INTERFACE M3AST_AS_Used_def_id; IMPORT M3AST_AS; TYPE T = M3AST_AS.Used_def_id; END M3AST_AS_Used_def_id.