Module signature TypeTracking::CallGraphConstruction::Simple::InputSig

The input to call graph construction.

Import path

import codeql.typetracking.internal.TypeTrackingImpl

filter	Holds if type tracking should stop at `n`.
start	Holds if type tracking should start at `start` in state `state`.

A state to track during type tracking.