Module direction

Structs

Backward

Dataflow that runs from the exit of a block (terminator), to its entry (the first statement).

Forward

Dataflow that runs from the entry of a block (the first statement), to its exit (terminator).

Traits

Direction