Predicate SourceSinkInterpretationInput::sinkElement
Holds if an external sink specification exists for e with input specification
input, kind kind and provenance provenance.
Import path
import semmle.go.dataflow.internal.FlowSummaryImplpredicate sinkElement(SourceOrSinkElement e, string input, string kind, Provenance provenance, string model)