Module liveness

Structs

• MaybeLiveLocals
  A live-variable dataflow analysis.
• MaybeTransitiveLiveLocals
  Like MaybeLiveLocals, but does not mark locals as live if they are used in a dead assignment.
• TransferFunction
• YieldResumeEffect 🔒

Enums

• DefUse 🔒