def words_in

bendtorch@1.3.0.0 · main.bend:3368

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

3368def words_in(left: Nat, +i: U32, +off: U32, rx: Array<F32> & F32, a: Array<U32>) -> UA:
3369  match left rx:
3370    case 0n Tuple{xs, x}: UA{a, xs}
3371    case 1n+q Tuple{xs, x}:
3372      words_in(q, (i + 1 : U32), (off + 1 : U32), Array.get(F32, xs, (off + 1 : U32)), Array.set(U32, a, i, ph_f2u(x)))

Uses (11)

Used by (2)