Bend/tests/golden_tests/run_lazy/match_mult_linearization.bend
2024-05-15 00:25:46 +02:00

5 lines
80 B
Plaintext

main = @a @b @c @d switch a {
0: (+ (+ b c) d);
_: (+ (+ (+ a-1 b) c) d);
}