def read_l

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

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

import Base

244def read_l(mleft: Nat, +idx: U32, acc: List<&2, F32>, rc: Array<F32> & F32) -> AL:
245  match mleft rc:
246    case 0n Tuple{c, +v}:
247      AL{c, v <> acc}
248    case 1n+p Tuple{c, +v}:
249      read_l(p, (idx - 1 : U32), v <> acc, Array.get(F32, c, (idx - 1 : U32)))

Uses (10)

Used by (14)