def VecT.sum

bend-tensors@0.0.0.2 · bend_tensors.bend:561

import Base

561# the sum, left half plus right half
562def VecT.sum(+n: Nat, v: VecT(n)) -> F32:
563  match n:
564    case 0n:
565      VecL{x} = v
566      Vec4.sum(x)
567    case 1n+p:
568      VecN{l, r} = v
569      a b = VecT.sum(p, l) VecT.sum(p, r)
570      (a + b : F32)