Module signature Make0::Make1::InputSig2

Import path

import codeql.controlflow.ControlFlowGraph

beginAbruptCompletion	Holds if `ast` may result in an abrupt completion `c` originating at `n`. The boolean `always` indicates whether the abrupt completion always occurs or whether `n` may also terminate normally.
endAbruptCompletion	Holds if an abrupt completion `c` from within `ast` is caught with flow continuing at `n`.
step	Holds if there is a local non-abrupt step from `n1` to `n2`.