def Vec.wrap

bend-tensors@0.0.0.2 · bend_tensors.bend:1760

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

import Base

1760def Vec.wrap(+m: Nat, a: Array<F32>) -> IO(Vec<m>):
1761  IO.pure(Vec<m>, Vec.from_list(m, Flat.to_list.of(m, (U32.from_nat(m) - 1 : U32), a)))

Uses (11)

Used by (1)

bend-tensors@0.0.0.2/bend_tensors:Vec.from_file