~/jendhub

def Flat.max.go

bend-tensors@0.0.0.2 · bend_tensors.bend:2127

import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensors
import Base

2127def Flat.max.go(n: Nat, +i: U32, r: Array<F32> & F32, +best: F32) -> F32:
2128  match n:
2129    case 0n:
2130      (a, x) = r
2131      F32.max(best, x)
2132    case 1n+p:
2133      (a, x) = r
2134      Flat.max.go(p, (i + 1 : U32), Array.get(F32, a, (i + 1 : U32)), F32.max(best, x))

Uses (9)

Used by (1)