Predicate hasExternalSpecification
Holds if there is an external specification for f.
Import path
import semmle.go.dataflow.ExternalFlowpredicate hasExternalSpecification(Function f)Holds if there is an external specification for f.
import semmle.go.dataflow.ExternalFlowpredicate hasExternalSpecification(Function f)