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