def size_done

bendtorch-load@1.3.0.0 · main.bend:159

import Base

159def size_done(r: File & Result<&1, &1, U32 & String, U32 & U32>) -> IO(W64):
160  match r:
161    case Tuple{f, res}:
162      do IO<W64>:
163        sz : U32 & U32 <- IO.pass(U32 & U32, res)
164        File.close(f)
165        return W64.of_pair(sz)