Function vstd::std_specs::hash::ex_default_hasher_write
source · pub exec fn ex_default_hasher_write(state: &mut DefaultHasher, bytes: &[u8])Expand description
ensures
state@ == old::<&mut _>(state)@.push(bytes@),