Module dominator 

Structs

DominatorTree

Dominator tree for a control flow graph.

NaturalLoop

A natural loop identified from back-edges in the CFG.

Enums

LoopKind

Classification of Lua loop constructs.

Functions

find_loops

Find all natural loops in the CFG using dominator information.