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.