Type signature LocalSourceNode
A node that is the source of local flow. This defines the end-points of the
big-step relation used by type-trackers once the transitive closure of
simpleLocalFlowStep is prepended to the other steps.
A node that is the source of local flow. This defines the end-points of the
big-step relation used by type-trackers once the transitive closure of
simpleLocalFlowStep is prepended to the other steps.