14.4.7  Char_Set

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 {
    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;};

Comments and suggestions to: