def Vec.nrm2.try

bend-blas-lapack@0.0.0.1 · mat.bend:209

import bend-blas-lapack@0.0.0.1/mat.bend as Mat
import Base

209def Vec.nrm2.try(+n: Nat, x: Vec<n>) -> IO(F32):
210  IO.try(F32, Vec.nrm2(n, x))

Uses (6)

Used by (0)

No other definition uses this definition.