loop_optimization3_pkg.adb

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

package body Loop_Optimization3_Pkg is

  function F (n : Integer) return Integer is
  begin
    return n;
  end;

end Loop_Optimization3_Pkg;