~/jendhub

def sum_f

bendtorch@1.3.0.0 · dtype.bend:562

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

562def sum_f(k: Nat, +i: U32, +acc: F32, ra: Array<F32> & F32) -> AF:
563  match k ra:
564    case 0n Tuple{a, v}:
565      AF{a, acc}
566    case 1n+p Tuple{a, +v}:
567      sum_f(p, (i + 1 : U32), (acc + v : F32), Array.get(F32, a, (i + 1 : U32)))

Uses (10)

Used by (1)