Mat.array.of: def of bend-blas-lapack@0.0.0.1
Import: import bend-blas-lapack@0.0.0.1/mat.bend as Mat
Lines 44-47 of bend-blas-lapack@0.0.0.1/mat.bend: https://jend.leeeet.dev/read.txt?path=bend-blas-lapack@0.0.0.1/mat.bend&start_line=44&end_line=47

import Base

# an array of the smallest power-of-two size holding count floats,
# the first ones from xs (cut or padded with 0.0), the rest 0.0
def array.of(+count: Nat, xs: List<&2, F32>) -> Array<F32>:
  fill.go(List.take(&2, F32, xs, count), 0, Array.new(F32, depth(count), 0.0))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.new
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.take
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-blas-lapack@0.0.0.1/mat.bend&name=depth
  https://jend.leeeet.dev/definition.txt?path=bend-blas-lapack@0.0.0.1/mat.bend&name=fill.go