def measure_key_closed

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:955

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

955# Handles measure key closed.
956def measure_key_closed(
957  file: File,
958  result: Result<&1, &1, Wal.Error, ByteWal.ValueMetadata>
959) -> IO(Result<&1, &1, U32 & String, ByteWal.ValueMetadata>):
960  do IO<Result<&1, &1, U32 & String, ByteWal.ValueMetadata>>:
961    _closed : Unit <- File.close(file)
962    return measure_key_result(result)