elim1.adb

来自「用于进行gcc测试」· ADB 代码 · 共 7 行

package body elim1 is
   procedure d (a : t) is
   begin
      null;
   end; 
end;