~/jendhub

def St.first8

bendtorch-load@1.3.0.0 · main.bend:560

import bendtorch-load@1.3.0.0/main.bend as BendtorchLoad
import Base

560def St.first8(+path: String, r: File & Result<&1, &1, U32 & String, List<&2, U32>>) -> IO(Header):
561  match r:
562    case Tuple{f, res}:
563      do IO<Header>:
564        bs : List<&2, U32> <- IO.pass(List<&2, U32>, res)
565        St.length(f, path, St.le64(bs))

Uses (13)

Used by (1)