tail_call_p.ads

来自「用于进行gcc测试」· ADS 代码 · 共 14 行

package Tail_Call_P is

  type T is new Natural;

  type Index is (First, Second);

  type A is array (Index) of T;

  My_Array : A := (0, 0);

  procedure Insert (Into : A; Element : T; Value : T);

end Tail_Call_P;