Predicate Private::External::neutralElement
Holds if a neutral model exists for c of kind kind
and with provenance provenance.
Import path
import semmle.go.dataflow.internal.FlowSummaryImplpredicate neutralElement(SummarizedCallableBase c, string kind, string provenance)