type FlatIndex
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
681type FlatIndex<-shape: Shape> is Data:
682 FIndex{value: Nat, bound: {True{} == Nat.is_lt(value, elements(shape)) : Bool}}
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
681type FlatIndex<-shape: Shape> is Data:
682 FIndex{value: Nat, bound: {True{} == Nat.is_lt(value, elements(shape)) : Bool}}