Skip to main content

Module statement

rl_lang::checker::statements

Module statement 

Source
Expand description

Statement type checking - walks every StatementKind variant, declares names into scope, and validates control flow constraints.