type Ax
import bendtorch@1.3.0.0/tensor.bend as Tensorimport Base
123# one axis of an index map: its size, and the stride of the tensor read along it (0 where it is broadcast)
124type Ax is Data:
125 Ax{n: U32, st: U32}
import bendtorch@1.3.0.0/tensor.bend as Tensorimport Base
123# one axis of an index map: its size, and the stride of the tensor read along it (0 where it is broadcast)
124type Ax is Data:
125 Ax{n: U32, st: U32}