~/jendhub

def sum_dw

bendtorch@1.3.0.0 · dtype.bend:569

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

569def sum_dw(k: Nat, +i: U32, acc: DW, ra: Array<F32> & F32) -> AF:
570  match k ra:
571    case 0n Tuple{a, v}:
572      AF{a, DW.value(acc)}
573    case 1n+p Tuple{a, +v}:
574      sum_dw(p, (i + 1 : U32), DW.add(acc, v), Array.get(F32, a, (i + 1 : U32)))

Uses (12)

Used by (1)