def indices

bendtorch-core@0.1.0.0 · src/tensor/axis_spec.bend:63

import Base

63def indices(rank: Nat, +cursor: Nat) -> List<&2, Nat>:
64  match rank:
65    case 0n:
66      Nil{}
67    case 1n+p:
68      cursor <> indices(p, 1n+cursor)