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