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