The standard library int_list_set package implements sets of integers via lists.
The int_list_set package implements the Set API.
The int_list_set package source code is in src/lib/src/int-list-set.pkg.
The above information is manually maintained and may contain errors.
Set?