vstd::std_specs::core

Trait ExFreeze

Source
pub trait ExFreeze {
    type ExternalTraitSpecificationFor: Freeze;
}

Required Associated Types§

Implementors§