Function vstd::std_specs::hash::ex_default_hasher_finish

source · 
pub exec fn ex_default_hasher_finish(state: &DefaultHasher) -> result : u64
Expand description
ensures
result == DefaultHasher::spec_finish(state@),