| Did you know ... | Search Documentation: |
| Predicate jpl_hashtable_pair/2 |
[nondet]jpl_hashtable_pair(+HashTable:jref,
-KeyValuePair:pair(datum,datum))NB String is converted to atom but Integer is presumably returned as an object ref (i.e. as elsewhere, no auto unboxing);
NB this is anachronistic: the Map interface is preferred.