Member predicate Public::SummarizedCallable::hasProvenance

Holds if there exists a summary that applies to this callable that has provenance provenance.