Trait vstd::std_specs::core::ExHash

source · 
pub trait ExHash {
    type ExternalTraitSpecificationFor: Hash;
}

Required Associated Types§

source

type ExternalTraitSpecificationFor: Hash

Implementors§