Module hash_cons
charon_
lib
0.1.153
Module hash_
cons
Module Items
Modules
Structs
Traits
Trait Aliases
In charon_
lib::
ast
charon_lib
::
ast
Module
hash_
cons
Copy item path
Source
Modules
§
intern_
table
🔒
serialize
🔒
Structs
§
Hash
Cons
Dedup
Serializer
HashCons
supports serializing each value to a unique id in order to serialize highly-shared values without explosion.
Hash
Cons
Id
Unique id identifying a hashconsed value amongst those with the same type.
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.
Traits
§
Hash
Cons
Serializer
State
HashCons
supports serializing each value to a unique id in order to serialize highly-shared values without explosion.
Trait Aliases
§
Hash
Consable