def rb_done

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

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

import Base

1562def rb_done(m: File & Result<&1, &1, U32 & String, List<&2, U32>>) -> IO(List<&2, U32>):
1563  (f, r) = m
1564  do IO<List<&2, U32>>:
1565    bs : List<&2, U32> <- IO.pass(List<&2, U32>, r)
1566    File.close(f)
1567    return bs

Uses (13)

Used by (2)