def Vec4.max
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
95def Vec4.max(v: Vec4) -> F32:
96 Vec4{x0, x1, x2, x3} = v
97 F32.max(F32.max(x0, x1), F32.max(x2, x3))
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
95def Vec4.max(v: Vec4) -> F32:
96 Vec4{x0, x1, x2, x3} = v
97 F32.max(F32.max(x0, x1), F32.max(x2, x3))