vstd::std_specs::core

Trait ExHash

Source
pub trait ExHash {
    type ExternalTraitSpecificationFor: Hash;
}

Required Associated Types§

Implementors§