Predicate GraphExport::summaryModel

Holds if type, path, input, output, kind should be emitted as a summary row.

This is only used to emit type propagation summaries, that is, summaries of kind type.

Import path

import codeql.mad.dynamic.GraphExport

predicate summaryModel(string type, string path, string input, string output, string kind)