let
copy m =
Array
.map
Array
.copy m