vstd::function

Trait ExProofFnOnce

Source
pub trait ExProofFnOnce {
    type ExternalTraitSpecificationFor: ProofFnOnce;
}

Required Associated Types§

Implementors§