def right_at

bendtorch-core@0.1.0.0 · src/tensor/elementwise_walk_proof.bend:157

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

157def right_at(+slot: Elementwise.Slot, -left: List<&2, Nat>, -right: List<&2, Nat>, -output: List<&2, Nat>,
158  +map: Shape.Index<left, right, output>, +position: Nat) -> Nat:
159  match slot:
160    case Elementwise.OwnSlot{}:
161      position
162    case Elementwise.FirstSlot{}:
163      0n
164    case Elementwise.WalkedSlot{}:
165      Elementwise.right_walk(left, right, output, map, position)