The standard library char_set package implements immutable sets of characters.
The char_set package implements the api.
The char_set package source code is in src/lib/std/src/char-set.pkg.
The above information is manually maintained and may contain errors.
Char_Set