def Vec.to_list

bend-tensors@0.0.0.2 · bend_tensors.bend:1336

import Base

1336# read borrowed: a bias is shared by every pass of a model
1337def Vec.to_list(+m: Nat, +v: Vec<m>) -> List<&2, F32>:
1338  match v:
1339    case VecS{t}:
1340      List.take(&2, F32, VecT.to_list(VecT.depth(m), t), m)