def pmax0

bendtorch@1.3.0.0 · main.bend:1333

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

1333def pmax0(k: Nat, +idx: U32, r: Array<F32> & F32) -> AS:
1334  match k r:
1335    case 0n Tuple{a, +x}:
1336      AS{a, x}
1337    case 1n+q Tuple{a, +x}:
1338      pmax(q, (idx + 1 : U32), x, Array.get(F32, a, (idx + 1 : U32)))

Uses (10)

Used by (5)