defaultSubmatrix
given defaultSubmatrix[RowIdxTL <: Int, ColIdxTL <: Int, RowIdxBR <: Int, ColIdxBR <: Int, R <: Int, C <: Int, T](using `x$1`: RowIdxTL >= 0 && RowIdxTL + 1 < R && ColIdxTL >= 0 && ColIdxTL + 1 < C && RowIdxBR >= RowIdxTL && RowIdxBR < R && ColIdxBR >= ColIdxTL && ColIdxBR < C =:= true)(using `x$2`: RowIdxBR - RowIdxTL + 1 > 0 && ColIdxBR - ColIdxTL + 1 > 0 =:= true)(using `x$3`: ValueOf[RowIdxBR - RowIdxTL + 1], `x$4`: ValueOf[ColIdxBR - ColIdxTL + 1])(using `x$5`: ValueOf[RowIdxTL], `x$6`: ValueOf[ColIdxTL]): Submatrix[RowIdxTL, ColIdxTL, RowIdxBR, ColIdxBR, R, C, T]
Value members
Concrete methods
Concrete fields
protected val `x$1`: RowIdxTL >= 0 && RowIdxTL + 1 < R && ColIdxTL >= 0 && ColIdxTL + 1 < C && RowIdxBR >= RowIdxTL && RowIdxBR < R && ColIdxBR >= ColIdxTL && ColIdxBR < C =:= true