Bend/tests/snapshots/encode_pattern_match__concat_def.hvm.snap

---
source: tests/golden_tests.rs
input_file: tests/golden_tests/encode_pattern_match/concat_def.hvm
---
TaggedScott:
(concat) = λa λb (#String (a #String.String.cons.head λc #String.String.cons.tail λd λe (String.cons c (concat d e)) λi i) b)

(main) = (concat (String.cons 97 (String.cons 98 String.nil)) (String.cons 99 (String.cons 100 String.nil)))

(String.cons) = λa λb #String λc #String λ* #String.String.cons.tail (#String.String.cons.head (c a) b)

(String.nil) = #String λ* #String λb b

Scott:
(concat) = λa λb (a λc λd λe (String.cons c (concat d e)) λi i b)

(main) = (concat (String.cons 97 (String.cons 98 String.nil)) (String.cons 99 (String.cons 100 String.nil)))

(String.cons) = λa λb λc λ* (c a b)

(String.nil) = λ* λb b