def VecT.argmax_upto.join
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
1247# the right half's winner counts only when the right half starts before m
1248def VecT.argmax_upto.join(lt: Bool, +off: U32, a: U32 & F32, b: U32 & F32) -> U32 & F32:
1249 match lt:
1250 case True{}:
1251 VecT.argmax.two(off, a, b)
1252 case False{}:
1253 a