type CheckedCoordinate

bendtorch-core@0.1.0.0 · src/tensor/layout.bend:246

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

246type CheckedCoordinate<-shape: Shape.Shape> is Data:
247  CWord{values: List<&2, U32>, valid: WordsValid(Shape.dimensions(shape), values)}