def left_slot

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

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

322def left_slot(-left: List<&2, Nat>, -right: List<&2, Nat>, -output: List<&2, Nat>, map: Shape.Index<left, right, output>) -> Slot:
323  match map:
324    case Shape.Indexed{+rows, exact}:
325      slot_of(same_left(rows), zero_left(rows))
326    case Shape.Unindexed{zero}:
327      WalkedSlot{}