Maps

The functions in the category Maps are of three types: getting the lenght of a map, getting the keys of a map, and retrieving the keys used in a map. These functions are:

• length_text_map
• length_number_map
• length_bool_map
• get_keys_text_map
• get_keys_number_map
• get_keys_bool_map
• key_used_in_text_map
• key_used_in_number_map
• key_used_in_bool_map