def St.read

bendtorch-load@1.3.0.0 · main.bend:482

import Base
import bend-ml-binary-read@0.2.0.0/main.bend as R

482def St.read(bf16: Bool, f: File, off: W64, +n: U32, a: Array<F32>, +at: U32) -> IO(File & (Array<F32> & Result<&1, &1, U32 & String, U32>)):
483  match bf16 off:
484    case True{} W64{hi, lo}: R.read_bf16_into(f, hi, lo, n, a, at)
485    case False{} W64{hi, lo}: R.read_f32_into(f, hi, lo, n, a, at)