Member predicate Make::Private::SummarizedCallableImpl::hasProvenance
Holds if there exists a summary that applies to this callable
that has provenance provenance
.
predicate hasProvenance(Provenance provenance)
Holds if there exists a summary that applies to this callable
that has provenance provenance
.
predicate hasProvenance(Provenance provenance)