Provides the predicate summaryNodeType for associating types with summary nodes.
Only relevant for typed languages.
Import path
import codeql.dataflow.internal.FlowSummaryImplPredicates
| summaryNodeType | Gets the type of synthesized summary node |
Parameters
| TypesInput | TypesInputSig |