def VecT.min

bend-tensors@0.0.0.2 · bend_tensors.bend:594

import Base

594def VecT.min(+n: Nat, v: VecT(n)) -> F32:
595  match n:
596    case 0n:
597      VecL{x} = v
598      Vec4.min(x)
599    case 1n+p:
600      VecN{l, r} = v
601      a b = VecT.min(p, l) VecT.min(p, r)
602      F32.min(a, b)