mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-08-15 14:50:42 +03:00
15 lines
278 B
Plaintext
15 lines
278 B
Plaintext
---
|
|
source: tests/golden_tests.rs
|
|
input_file: tests/golden_tests/compile_file_o_all/and.bend
|
|
---
|
|
@and = (a ((@and__C0 (a b)) b))
|
|
|
|
@and__C0 = (?(((a a) (* (* @bool/false))) b) b)
|
|
|
|
@bool/false = ((1 a) a)
|
|
|
|
@bool/true = ((0 a) a)
|
|
|
|
@main = a
|
|
& @and ~ (@bool/true (@bool/false a))
|