type Fin.Step
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
3type Fin.Step<-k: Nat> is Data:
4 FZero{}
5 FNext{previous: Fin(k)}
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
3type Fin.Step<-k: Nat> is Data:
4 FZero{}
5 FNext{previous: Fin(k)}