Bend/tests/snapshots/compile_file_o_all__list_merge_sort.bend.snap

---
source: tests/golden_tests.rs
input_file: tests/golden_tests/compile_file_o_all/list_merge_sort.bend
---
@If = ((@If__C0 a) a)

@If__C0 = (?(((a (* a)) (* (* (b b)))) c) c)

@List_/Cons = (a (b ((0 (a (b c))) c)))

@List_/Nil = ((1 a) a)

@Map = ((@Map__C1 a) a)

@Map__C0 = (a (c ({(a b) d} f)))
  & @List_/Cons ~ (b (e f))
  & @Map ~ (c (d e))

@Map__C1 = (?((@Map__C0 (* (* @List_/Nil))) a) a)

@Merge = (a ((@Merge__C4 (a b)) b))

@MergePair = (a ((@MergePair__C4 (a b)) b))

@MergePair__C0 = (c (f ({a e} (b h))))
  & @List_/Cons ~ (d (g h))
  & @Merge ~ (a (b (c d)))
  & @MergePair ~ (e (f g))

@MergePair__C1 = (* (* (a b)))
  & @List_/Cons ~ (a (@List_/Nil b))

@MergePair__C2 = (?((@MergePair__C0 @MergePair__C1) a) a)

@MergePair__C3 = (b ((@MergePair__C2 (a (b c))) (a c)))

@MergePair__C4 = (?((@MergePair__C3 (* (* @List_/Nil))) a) a)

@Merge__C0 = ({b {g l}} ({h q} ({(a (b c)) {e m}} ({a {d n}} ({f o} t)))))
  & @If ~ (c (k (s t)))
  & @List_/Cons ~ (d (j k))
  &!@Merge ~ (e (f (i j)))
  & @List_/Cons ~ (g (h i))
  & @List_/Cons ~ (l (r s))
  &!@Merge ~ (m (p (q r)))
  & @List_/Cons ~ (n (o p))

@Merge__C1 = (* (* a))
  & @List_/Cons ~ a

@Merge__C2 = (?((@Merge__C0 @Merge__C1) a) a)

@Merge__C3 = (b (c (a ((@Merge__C2 (a (b (c d)))) d))))

@Merge__C4 = (?((@Merge__C3 (* (* (a a)))) b) b)

@Pure = (a b)
  & @List_/Cons ~ (a (@List_/Nil b))

@Unpack = (a ((@Unpack__C3 (a b)) b))

@Unpack__C0 = (d (e ({a b} (c i))))
  & @Unpack ~ (a (h i))
  & @MergePair ~ (b (g h))
  & @List_/Cons ~ (c (f g))
  & @List_/Cons ~ (d (e f))

@Unpack__C1 = (?((@Unpack__C0 (* (* (a a)))) b) b)

@Unpack__C2 = (b ((@Unpack__C1 (a (b c))) (a c)))

@Unpack__C3 = (?((@Unpack__C2 (* (* @List_/Nil))) a) a)

@main = (a (b d))
  & @Unpack ~ (a (c d))
  & @Map ~ (b (@Pure c))