trait DefaultSubmatrix
- Companion:
- object
class Object
trait Matchable
class Any
Givens
Givens
given defaultSubmatrix[RowIdxTL <: Int, ColIdxTL <: Int, RowIdxBR <: Int, ColIdxBR <: Int, R <: Int, C <: Int, T](using x$1: WindowWithinShape[RowIdxTL, ColIdxTL, RowIdxBR, ColIdxBR, R, C], x$2: NonNegativeDimensions[RowIdxBR - RowIdxTL + 1, ColIdxBR - ColIdxTL + 1])(using x$3: ValueOf[RowIdxBR - RowIdxTL + 1], x$4: ValueOf[ColIdxBR - ColIdxTL + 1], x$5: ValueOf[RowIdxTL], x$6: ValueOf[ColIdxTL]): defaultSubmatrix[RowIdxTL, ColIdxTL, RowIdxBR, ColIdxBR, R, C, T]