charon_
lib
0.1.45
Module hash_
consing
Module Items
Structs
In charon_
lib::
common
charon_lib
::
common
Module
hash_consing
Copy item path
source
Structs
ยง
Hash
Consed
Hash-consed data structure: a reference-counted wrapper that guarantees that two equal value will be stored at the same address. This makes it possible to use the pointer address as a hash value.