The standard library Char_Set api defines access to immutable character sets.
The Char_Set api is implemented by the char_set package.
The Char_Set api source code is in src/lib/std/src/char-set.api.
The above information is manually maintained and may contain errors.
api {
Char_Set;
make_char_set : String -> Char_Set;
make_char_set_from_list : List(Int ) -> Char_Set;
to_string : Char_Set -> String;
is_in_set : Char_Set -> Int -> Bool;
string_element_is_in_set : Char_Set -> (String , Int) -> Bool;};