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