需要帮助将函数从C++移植到Ocaml

我在C++中有以下函数代码

bool SolveSudoku(int grid[N][N])
{
int row, col;
if (!FindUnassignedLocation(grid, row, col))
   return true;
for (int num = 1; num <= 9; num++)
{
    if (isSafe(grid, row, col, num))
    {
         grid[row][col] = num;
         if (SolveSudoku(grid))
            return true;
         grid[row][col] = UNASSIGNED;
    }
}
return false;
}

我在这里面临的问题是，在if语句中，我需要首先执行一个操作，然后返回一个布尔值。在同一个if语句中使用不同的返回值时，Ocaml并没有那个么大的帮助。