vstd::std_specs::hash

Trait DefaultHasherAdditionalSpecFns

Source 
pub trait DefaultHasherAdditionalSpecFns {
    // Required method
    spec fn spec_finish(s: Seq<Seq<u8>>) -> u64;
}

Required Methods§

Source

spec fn spec_finish(s: Seq<Seq<u8>>) -> u64

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

Source§

impl DefaultHasherAdditionalSpecFns for DefaultHasher

Source§

uninterp fn spec_finish(s: Seq<Seq<u8>>) -> u64

Implementors§