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