Predicate MakeImpl::Impl::MkStage::Stage::Graph::subpathsImpl

Holds if (arg, par, ret, out) forms a subpath-tuple.

All of the nodes may be hidden.

Import path

import codeql.dataflow.internal.DataFlowImpl

predicate subpathsImpl(PathNodeImpl arg, PathNodeImpl par, PathNodeImpl ret, PathNodeImpl out)