def close.done

mylsm-lsm-store@0.6.0.1 · src/ByteWalIo.bend:169

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable

169def close.done(file: File, table: ByteMemTable.Table) -> IO(Result<&1, &1, U32 & String, ByteMemTable.Table>):
170  do IO<Result<&1, &1, U32 & String, ByteMemTable.Table>>:
171    _closed : Unit <- File.close(file)
172    return Done{table}