vstd::function

Trait ExProofFnOnce

Source 
pub trait ExProofFnOnce {
    type ExternalTraitSpecificationFor: ProofFnOnce;
}

Required Associated Types§

Source

type ExternalTraitSpecificationFor: ProofFnOnce

Implementors§