type MatrixBounds

bendtorch-core@0.1.0.0 · src/tensor/math_totality.bend:23

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

23type MatrixBounds<-rows: U32, -inner: U32, -right_inner: U32, -columns: U32> is Data:
24  MatrixBounds{-compatible: {U32.to_nat(inner) == U32.to_nat(right_inner) : Nat},
25    -supported: Shape.LE(Shape.logical_numel([rows, columns]), 1048576n)}