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