Trait vstd::std_specs::hash::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

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl DefaultHasherAdditionalSpecFns for DefaultHasher

source§

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

Implementors§