def Vec4.sum

bend-tensors@0.0.0.2 · bend_tensors.bend:84

import Base

84# the sum, as (x0 + x1) + (x2 + x3): every reduction in this file
85# pairs its terms the same way, so laws can equate them
86def Vec4.sum(v: Vec4) -> F32:
87  Vec4{x0, x1, x2, x3} = v
88  ((x0 + x1) + (x2 + x3) : F32)