def read_bf16_into
import bend-ml-binary-read@0.2.0.0/main.bend as BendMlBinaryReadimport Base
61# As read_bf16_at, writing cells at .. at + n - 1 of `a` (stopping at a's capacity).
62def read_bf16_into(file: File, hi: U32, lo: U32, n: U32, a: Array<F32>, at: U32) ->
63 IO(File & (Array<F32> & Result<&1, &1, U32 & String, U32>)):
64 import "./read_at.c"
65 import "./read_at.js"