def read_bytes

bend-ml-llama@0.2.1.0 · main.bend:1569

import bend-ml-llama@0.2.1.0/main.bend as BendMlLlama

import Base

1569def read_bytes(path: String) -> IO(List<&2, U32>):
1570  do IO<List<&2, U32>>:
1571    f : File <- IO.try(File, File.open(path, "r"))
1572    m : File & Result<&1, &1, U32 & String, List<&2, U32>> <- File.read_bytes(f, 1048576)
1573    rb_done(m)

Uses (12)

Used by (2)