79
type Employee_Type is record
SSN : SSN_Type;
...
end record;
procedure "<" (L, R : Employee_Type)
return Boolean is
begin
return L.SSN < R.SSN;
end;
package Employee_Sets is
new Ada.Containers.Ordered_Sets
(Employee_Type, "<");