BackupCursorIo.close.file: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursorIo.bend as BackupCursorIo
Lines 175-180 of mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursorIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursorIo.bend&start_line=175&end_line=180

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

def close.file(
  +destination: String,
  +temporary: String,
  file: File
) -> IO(Result<&1, &1, BackupIo.Error, Unit>):
  BackupIo.publish.closed(destination, temporary, file, Done{Unit{}})

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupIo.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupIo.bend&name=publish.closed