~/jendhub

def bounds_of

mlbend-preprocess@0.1.0.0 · main.bend:88

import mlbend-preprocess@0.1.0.0/main.bend as MlbendPreprocess
import Base
import bend-ml-tensor@0.1.0.0/main.bend as T

88# The extremes of every column of a matrix.
89def bounds_of(+r: Nat, +c: Nat, a: T.Mat<r, c>) -> Bounds:
90  bounds_of_rows(T.Mat.to_rows(r, c, a))

Uses (5)

Used by (1)