vstd::function

Trait ExProofFn

Source 
pub trait ExProofFn: ProofFnMut {
    type ExternalTraitSpecificationFor: ProofFn;
}

Required Associated Types§

Source

type ExternalTraitSpecificationFor: ProofFn

Implementors§