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