7f918cf1 CE |
1 | val a = Array.array (100, (true, false, true)) |
2 | val _ = Array.update (a, 0, (false, true, false)) |
3 | val b = |
4 | Array.sub (a, 0) = Array.sub (a, 1) |
5 | andalso Array.sub (a, 2) = Array.sub (a, 3) |
6 | val _ = print (concat [Bool.toString b, "\n"]) |