def Bands.read_row

bend-ml-tensor-array@0.1.19.0 · main.bend:1758

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray

import Base

1758# row i (c numbers), for example an embedding lookup
1759def Bands.read_row(+r: Nat, +c: Nat, b: Bands<r, c>, +i: Nat) -> BRow<r, c>:
1760  brow(c, r, b, Nat.is_lt(i, half(r)), r, {==}, i)

Uses (6)

Used by (3)