Module MakeImpl::Impl::Stage6Param

Import path

import codeql.dataflow.internal.DataFlowImpl

CallContextSensitivity<DataFlowImpl::MakeImpl::Impl::Stage6Param::CallContextSensitivityInput>	Provides predicates releated to call-context sensitivity.
LocalCallContext

ApHeadContent
ApOption	An option type. This is either a singleton `None` or a `Some` wrapping the given type.
Typ	A type for a data flow node.
localStep	Holds if `node1` can step to `node2` in one or more local steps and this path can occur as a maximal subsequence of local steps in a dataflow path.