Control Flow

Compact provides a small, statically analyzable set of control flow constructs:

• if / if...else statements
• for loops (bounded)
• return
• assert
• blocks { ... }
• const bindings
• conditional expressions e0 ? e1 : e2

Source: Statements

In this chapter:

• Conditionals - if statements and ternary expressions
• Loops - bounded for loops