vstd::std_specs::core

Trait ExHash

Source 
pub trait ExHash {
    type ExternalTraitSpecificationFor: Hash;
}

Required Associated Types§

Source

type ExternalTraitSpecificationFor: Hash

Implementors§