INTERFACE M3AST_AS_Formal_param;
IMPORT M3AST_AS;
TYPE T = M3AST_AS.Formal_param;
END M3AST_AS_Formal_param.