---
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))