def rd_done

bendtorch@1.3.0.0 · main.bend:998

import Base

998def rd_done(m: File & Result<&1, &1, U32 & String, List<&2, U32>>) -> IO(List<&2, U32>):
999  match m:
1000    case Tuple{f, r}:
1001      do IO<List<&2, U32>>:
1002        bs : List<&2, U32> <- IO.pass(List<&2, U32>, r)
1003        File.close(f)
1004        return bs