dict_size
| Definition: | integer size = dict_size(integer tid=1) |
| Description: | Return the number of unique keys in the specified dictionary. |
| pwa/p2js: | Supported. |
| Comments: | An internal (per dictionary) count is maintained, making this much faster than using traverse_dict() or similar to count entries. |