a5test.adb, available at the class web site, as is an incomplete package specification a5types.ads. You are to complete this latter file by adding the private portion, and creating a new package body in a separate file a5types.adb. This file should contain at least definitions of the functions promised in the package specification.
The test cases assume that slot names and variable names are of a type to which strings of any length can be converted, while fillers are of a type filler_type which is consistent with the INTEGER_IO package and with the integer literals of the test cases.
You should designate a value of this type to be returned in case of
search failure.
You need not worry about reclaiming storage. You need not use exceptions.