Appearance
| 1 | namespace IR is | |
| 2 | trait BlockContext is | |
| 3 | is_in_block: bool | |
| 4 | current_block: Values.BLOCK | |
| 5 | ||
| 6 | enter_block() -> IR.Values.BLOCK | |
| 7 | enter_block(type: Semantic.Types.Type) -> IR.Values.BLOCK | |
| 8 | enter_block(block: Values.BLOCK) -> IR.Values.BLOCK | |
| 9 | ||
| 10 | leave_block() | |
| 11 | ||
| 12 | add(value: Values.Value) | |
| 13 | si | |
| 14 | si |