PR #37964 [WIP/RFC] broaden the scope of `hash`

[WIP/RFC] broaden the scope of `hash` #37964

rfourquet wants to merge 2 commits into master from rf/broaden-hash

broaden the scope of `hash`

b3e36d34

introduce HashDict, a more general Dict

4553395f

rfourquet changed the title ~~broaden the scope of `hash`~~ [WIP/RFC] broaden the scope of `hash` 5 years ago

rfourquet added hashing

Reviewers

No reviews

Assignees

No one assigned

Labels

hashing

Milestone

No milestone