DefaultTranspose

Companion
object
class Object
trait Matchable
class Any

Givens

Givens

given defaultTranspose[R <: Int, C <: Int, T](using `x$1`: C > 0 && R > 0 =:= true)(using `x$2`: ValueOf[R], `x$3`: ValueOf[C]): Transpose[R, C, T]