Module charon_lib::common::hash_consing
source · Structs§
- 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.