vstd::function

Trait ExProofFnReqEns

Source
pub trait ExProofFnReqEns<R>: ProofFnReqEnsAssoc<ReqEns = R> {
    type ExternalTraitSpecificationFor: ProofFnReqEns<R>;
}

Required Associated Types§

Implementors§