def Flat.max.of
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
2136def Flat.max.of(n: Nat, a: Array<F32>) -> F32:
2137 match n:
2138 case 0n:
2139 0.0
2140 case 1n+p:
2141 Flat.max.go(p, 0, Array.get(F32, a, 0), (0.0 - 3.4028235e38 : F32))