Skip to main content

Module intern_table

charon_lib::ast::hash_cons

Module intern_table 

Source

Structs§

InternMapper 🔒

Statics§

INTERNED 🔒

Functions§

fresh_id 🔒
id
Identify this value uniquely amongst values of its type. The id depends on insertion order into the interning table which makes them in principle deterministic.
intern
mutate_in_place
Mutate the contents in-place if possible.