~/jendhub

def Bands.to_list

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

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

1775# all r*c numbers in row order (in BRow.row)
1776def Bands.to_list(+r: Nat, +c: Nat, b: Bands<r, c>) -> BRow<r, c>:
1777  blist(c, r, b, r, {==})

Uses (4)

Used by (0)

No other definition uses this definition.