def read_tail3

mylsm-lsm-store@0.6.0.1 · src/legacy/ManifestIo.bend:97

import Base

97# Read tail3 for the memtable flush.
98def read_tail3(fr: (File & Result<&1, &1, U32 & String, String>)) -> IO(Result<&1, &1, U32 & String, String>):
99  match fr:
100    case (f3, r1):
101      do IO<Result<&1, &1, U32 & String, String>>:
102        _cls : Unit <- File.close(f3)
103        IO.pure(Result<&1, &1, U32 & String, String>, r1)