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(state)@.push(bytes@),