~/jendhub

def Half.values

bendtorch@1.3.0.0 · dtype.bend:234

import bendtorch@1.3.0.0/dtype.bend as Dtype
import Base

234# the first n 16-bit values of a packed array
235def Half.values(+n: Nat, a: Array<U32>) -> List<&2, U32>:
236  unpairs_n(n, split_l(ul_list(read_u(Nat.sub(hwords(n), 1n), 0, Nil{}, Array.get(U32, a, 0)))))

Uses (11)

Used by (1)