Module liveness 

Structs

LivenessTransferFunction

MaybeLiveLocals

A live-variable dataflow analysis.

MaybeTransitiveLiveLocals

Like MaybeLiveLocals (and layered on top of MaybeLiveLocals), but does not mark locals as live if they are used in a dead assignment.

YieldResumeEffect 🔒

Enums

DefUse