Predicate summaryModel

Holds if a summary model exists for the given parameters.

Note that group: references are expanded into one or more actual packages by this predicate.

Import path

import semmle.go.dataflow.ExternalFlow

predicate summaryModel(string package, string type, boolean subtypes, string name, string signature, string ext, string input, string output, string kind, string provenance, ExtensionId madId)