lean4-htt/tests/compiler/array_test.lean.expected.out

[]
0
[0, 1, 2, 3]
[10, 11, 12, 13]
4
[10, 11, 12]
[10, 11, 12, 13, 100]
[10, 11, 12]
[3, 4, 5, 6]
[2, 3]
[]
[]
[3, 4]