9 lines
142 B
Ada
9 lines
142 B
Ada
|
package Invariant_Index is
|
||
|
|
||
|
Name_Buffer : String (1 .. 100);
|
||
|
Name_Len : Natural;
|
||
|
|
||
|
procedure Proc (S : String);
|
||
|
|
||
|
end Invariant_Index;
|