~/jendhub

def read_bytes

bend-ml-llama@0.2.0.0 · main.bend:1302

import bend-ml-llama@0.2.0.0/main.bend as BendMlLlama
import Base

1302def read_bytes(path: String) -> IO(List<&2, U32>):
1303  do IO<List<&2, U32>>:
1304    f : File <- IO.try(File, File.open(path, "r"))
1305    m : File & Result<&1, &1, U32 & String, List<&2, U32>> <- File.read_bytes(f, 1048576)
1306    rb_done(m)

Uses (12)

Used by (1)