13.2.55  string_key

The standard library string_key package is an argument for red_black_map_g and red_black_set_g, used to define the string_map and string_set packages.

The string_key package source code is in src/lib/src/string-key.pkg.

See also: string_map.

See also: string_set.

The above information is manually maintained and may contain errors.

api {
    compare : (String , String) -> Order;
    Key  = String;};

Comments and suggestions to: