def Vec.min

bend-tensors@0.0.0.2 · bend_tensors.bend:1390

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

import Base

1390def Vec.min(+m: Nat, v: Vec<m>) -> F32:
1391  VecS{t} = v
1392  VecT.min_upto(VecT.depth(m), t, 0n, m)

Uses (5)

Used by (0)

No other definition uses this definition.