def St.parsed

bendtorch-load@1.3.0.0 · main.bend:534

import Base

534def St.parsed(+path: String, +start: W64, ps: Ps) -> IO(Header):
535  match ps:
536    case Ps{d, c, p, nm, fl, dt, sh, of, ns, rs, bad}:
537      do IO<Header>:
538        require(Bool.and(U32.is_zero(d), U32.is_zero(bad)), path ++ ": malformed safetensors header")
539        return Header{start, rs}