vstd::function

Trait ExProofFnMut

Source
pub trait ExProofFnMut: ProofFnOnce {
    type ExternalTraitSpecificationFor: ProofFnMut;
}

Required Associated Types§

Implementors§