~/jendhub

def left_index

bendtorch-core@0.1.0.0 · src/tensor/contracts/dot.bend:15

import bendtorch-core@0.1.0.0/src/tensor/contracts/dot.bend as Dot
import Base

15def left_index(cell: Cell, k: Nat) -> Nat:
16  Cell{row, column, inner, columns} = cell
17  Nat.add(Nat.mul(row, inner), k)

Uses (4)

Used by (5)