~/jendhub

def VecT.max

bend-tensors@0.0.0.2 · bend_tensors.bend:584

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

584def VecT.max(+n: Nat, v: VecT(n)) -> F32:
585  match n:
586    case 0n:
587      VecL{x} = v
588      Vec4.max(x)
589    case 1n+p:
590      VecN{l, r} = v
591      a b = VecT.max(p, l) VecT.max(p, r)
592      F32.max(a, b)

Uses (7)

Used by (1)