Function vstd::std_specs::hash::ex_default_hasher_new

source · 
pub exec fn ex_default_hasher_new() -> result : DefaultHasher
Expand description
ensures
result@ == Seq::<Seq<u8>>::empty(),