1 do 2 let array1 = [1, 2, 3] 3 let array2 = [1, 2, 3] 4 let array3 = array@ 1 2 3 5 assert array1 == array2 6 assert array2 == array3 7 assert array1 == [1, 2, 3] 8 9 do 10 let array1 : [u32; _] = [1, 2, 3] 11 let array2 = [1<u32>, 2, 3] 12 let array3 = [1, 2, 3]<u32> 13 let array4 = array@<u32> 1 2 3 14 15 do 16 let size = 2 17 let array = [3; size] 18 assert array == [3, 3] 19 assert [3, 3] == [3; 2] 20 21 do 22 let array1 = [1, 2, 3] 23 let array2 = array1.map { _ * 2 } 24 assert array2[1] == 4 25 26 do 27 let zero_array<N@u32> () = [Char; N]@zero 28 29 do 30 let array = zero_array<25> 31 assert array.size == 25 32 33 do 34 let size = 15 35 let array = zero_array<size> 36 assert array.size == 15 37