def header

bendtorch-load@1.2.0.0 · main.bend:565

import Base

565# A safetensors file's header, parsed; the file is closed after it
566def header(+path: String) -> IO(Header):
567  do IO<Header>:
568    f : File <- IO.try(File, File.open(path, "r"))
569    r : File & Result<&1, &1, U32 & String, List<&2, U32>> <- File.read_at(f, 0, 8)
570    St.first8(path, r)