def Coordinate

bendtorch-core@0.1.0.0 · src/shape/core.bend:140

import Base

140def Coordinate(dims: List<&2, Nat>) -> Data:
141  match dims:
142    case Nil{}:
143      Unit
144    case head <> tail:
145      Coordinate.Step<head, tail>