@scrwtp provides a very useful function (toJagged):
let toJagged<'a> (arr: 'a[,]) : 'a [][] =
[| for x in 0 .. Array2D.length1 arr - 1 do
yield [| for y in 0 .. Array2D.length2 arr - 1 -> arr.[x, y] |]
|]
that converts from a 2D array to a jagged array. Is there an equivalent function available (toArray2D) for converting from a jagged array to a 2D array (assuming each row in the jagged array has the same number of elements)?