vstd::function

Trait ExProofFnMut

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

Required Associated Types§

Source

type ExternalTraitSpecificationFor: ProofFnMut

Implementors§