80
Employees : Employee_Sets.Set;
procedure Add (SSN : in SSN_Type) is
E : Employee_Type;
begin
E.SSN := SSN;
E.Name := ...;
Employees.Insert (E);
end Op;