def do_hash_map(ml): return types._hash_mapl(ml.values)
def read_hash_map(reader): lst = read_sequence(reader, '{', '}') return _hash_mapl(lst)