def Vec.max
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
1386def Vec.max(+m: Nat, v: Vec<m>) -> F32:
1387 VecS{t} = v
1388 VecT.max_upto(VecT.depth(m), t, 0n, m)
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
1386def Vec.max(+m: Nat, v: Vec<m>) -> F32:
1387 VecS{t} = v
1388 VecT.max_upto(VecT.depth(m), t, 0n, m)