vstd::function

Trait ExProofFnReqEnsAssoc

Source
pub trait ExProofFnReqEnsAssoc {
    type ExternalTraitSpecificationFor: ProofFnReqEnsAssoc;
    type ReqEns;
}

Required Associated Types§

Implementors§