Skip to main content

Module intern_table

charon_lib::utils::hash_cons

Module intern_table 

Source

Structs§

InternMapper 🔒

Statics§

INTERNED 🔒

Functions§

intern 🔒
make_mutable 🔒
The returned value must not be leaked as this would break the hash-consing invariant.

Type Aliases§

SeqHashSet 🔒