Predicate summaryModel

Holds if a summary model exists for the given parameters.

Import path

import semmle.code.csharp.dataflow.internal.ExternalFlowExtensions

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