-- Below is the package specification, Sort_.ada or Sort.ads -- It should always come first! -- This is the contract with the user of the package. -- The body delivers the execution code. -- -- A typical package specification provides types and subprograms. -- This miniature provides one type and one subprogram. -- -- When considering name scope, think of the "end Sort;" removed from spec -- and the "package body Sort is" removed from the body, and the two -- pasted together where the statements are removed. package Sort is type Int_Array is array(Integer range <>) of Integer; procedure NNSort ( Size : Integer ; Arr1 : in out Int_Array ) ; end Sort ;