Skip to main content

make_mutable

charon_lib::utils::hash_cons::intern_table

Function make_mutable 

Source 
pub(super) fn make_mutable<T: HashConsable>(
    x: &mut HashConsed<T>,
) -> impl DerefMut<Target = T>
Expand description

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