Predicate summaryElement
Holds if an external flow summary exists for c with input specification
input, output specification output, kind kind, and provenance provenance.
Import path
import codeql.ruby.dataflow.internal.FlowSummaryImplSpecificpredicate summaryElement(SummarizedCallable c, string input, string output, string kind, string provenance)