Robuta

https://cs.nyu.edu/acsys/cvc3/doc/classHash_1_1hash__table_1_1const__iterator.html CVC3: Hash::hash_table _Key, _Value, _HashFcn, _EqualKey, _ExtractKey ::const_iterator Class... hash table key value