Skip to main content

Module serialize

charon_lib::utils::hash_cons

Module serialize 

Source
Expand description

HashCons values are deduplicated in the serialized output: see crate::utils::dedup.