type IMap
import bendtorch@1.3.0.0/tensor.bend as Tensorimport Base
127type IMap is Data:
128 # base plus, for every axis (the last one first), its coordinate times its stride
129 Strided{base: U32, axes: List<&2, Ax>}
130 # the position with one axis taken out: inner is the product of the sizes after it, size its own size
131 Drop{inner: U32, size: U32}