Trait vstd::std_specs::core::ExFreeze

source · 
pub trait ExFreeze {
    type ExternalTraitSpecificationFor: Freeze;
}

Required Associated Types§

source

type ExternalTraitSpecificationFor: Freeze

Implementors§