let
get_row ro (matrix :
'
a array array) row =
matrix.(ro.(row))