ExFreeze

vstd::std_specs::core

Trait ExFreeze 

Source 
pub trait ExFreeze: PointeeSized {
    type ExternalTraitSpecificationFor: Freeze;
}

Required Associated Types§

Source

type ExternalTraitSpecificationFor: Freeze

Implementors§