def Flat.max

bend-tensors@0.0.0.2 · bend_tensors.bend:2143

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

import Base

2143def Flat.max(+rows: Nat, +cols: Nat, m: Flat<rows, cols>) -> F32:
2144  FlatS{a} = m
2145  Flat.max.of(Flat.count(rows, cols), a)

Uses (5)

Used by (0)

No other definition uses this definition.