Module Make

Import path

import codeql.dataflow.internal.FlowSummaryImpl

Private	Provides predicates for compiling flow summaries down to atomic local steps, read steps, and store steps.
Public	Provides classes and predicates for defining flow summaries.

Location		LocationSig
DataFlowLang		InputSig<FlowSummaryImpl::Make::Location>
Input		InputSig<Make::Location, Make::DataFlowLang>