~/jendhub

def MatT.rows_drop

bend-tensors@0.0.0.2 · bend_tensors.bend:1087

import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensors
import Base

1087# every row past its first w
1088def MatT.rows_drop(+w: Nat, rows: List<&2, List<&2, F32>>) -> List<&2, List<&2, F32>>:
1089  match rows:
1090    case []:
1091      []
1092    case row <> rest:
1093      List.drop(&2, F32, row, w) <> MatT.rows_drop(w, rest)

Uses (4)

Used by (1)