023.Ada语言的整数类型中的不是很有用的属性

with Ada.Text_IO;
use Ada.Text_IO;

procedure IncrInt is
   
   Index : Integer;
   
begin
   
   Index:=13;
   Index:=Integer'Pos(Index); -- Still 13
   Index:=Integer'Val(Index); -- Still 13
   Index:=Integer'Succ(Index); -- Incremented to 14
   Index:=Integer'Pred(Index); -- Decremented to 12
   
   Index:=Index+1;-- preferred method of incrementing

end IncrInt;