vstd::std_specs::hash

Trait ExHasher

Source 
pub trait ExHasher {
    type ExternalTraitSpecificationFor: Hasher;
}

Required Associated Types§

Source

type ExternalTraitSpecificationFor: Hasher

Implementors§