module documentation

Undocumented

Class BranchState BranchState contains information about variable definition at the end of a branching statement. `if` and `match` are examples of branching statements.
Class BranchStatement Undocumented
Class DefinedVariableTracker DefinedVariableTracker manages the state and scope for the UndefinedVariablesVisitor.
Class Loop Undocumented
Class PossiblyUndefinedVariableVisitor Detects the following cases: - A variable that's defined only part of the time. - If a variable is used before definition
Class Scope Undocumented
Class ScopeType Undocumented