Bend/tests/snapshots/compile_file__switch_in_switch_arg.bend.snap

---
source: tests/golden_tests.rs
input_file: tests/golden_tests/compile_file/switch_in_switch_arg.bend
---
@main = (?((0 (a a)) ?((0 ($([+0x0000001] b) b)) c)) c)
[sc-517] Use kind2-like pattern matching terms, remove nested lets and adt lets 2024-03-28 00:19:15 +03:00			`---`
			`source: tests/golden_tests.rs`
Update tests to use .bend extension, fix test uite 2024-05-15 01:25:46 +03:00			`input_file: tests/golden_tests/compile_file/switch_in_switch_arg.bend`
[sc-517] Use kind2-like pattern matching terms, remove nested lets and adt lets 2024-03-28 00:19:15 +03:00			`---`
Add raw hvm function syntax 2024-06-15 17:07:51 +03:00			`@main = (?((0 (a a)) ?((0 ($([+0x0000001] b) b)) c)) c)`