def pdiv

bendtorch@1.3.0.0 · main.bend:1359

import Base

1359# a[j] = a[j] / s for j = idx..idx + k, counted onto c
1360def pdiv(k: Nat, +idx: U32, +s: F32, c: Nat, r: Array<F32> & F32) -> PC:
1361  match k r:
1362    case 0n Tuple{a, +x}:
1363      PC{Array.set(F32, a, idx, (x / s : F32)), 1n+c}
1364    case 1n+q Tuple{a, +x}:
1365      pdiv(q, (idx + 1 : U32), s, 1n+c, Array.get(F32, Array.set(F32, a, idx, (x / s : F32)), (idx + 1 : U32)))