def left_walk

bendtorch-core@0.1.0.0 · src/tensor/elementwise.bend:250

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

250def left_walk(-left: List<&2, Nat>, -right: List<&2, Nat>, -output: List<&2, Nat>,
251  map: Shape.Index<left, right, output>, +position: Nat) -> Nat:
252  match map:
253    case Shape.Indexed{rows, exact}:
254      Shape.walk_left(rows, position)
255    case Shape.Unindexed{zero}:
256      0n