Trait vstd::std_specs::hash::ExHasher

source · 
pub trait ExHasher {
    type ExternalTraitSpecificationFor: Hasher;
}

Required Associated Types§

source

type ExternalTraitSpecificationFor: Hasher

Implementors§