ByteDurableDb.reclaim.remove: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend as ByteDurableDb
Lines 327-335 of mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&start_line=327&end_line=335

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

def reclaim.remove(+path: String, names: List<&2, String>) -> IO(Unit):
  match names:
    case Nil{}: IO.pure(Unit, Unit{})
    case Con{name, rest}:
      do IO<Unit>:
        +target : String <- IO.pure(String, path ++ "/" ++ name)
        info : Result<&1, &1, U32 & String, Files.Info> <- Files.stat(target)
        _reclaimed : Unit <- reclaim.file(target, info)
        reclaim.remove(path, rest)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  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=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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/ByteDurableDb.bend&name=reclaim.file
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/FilesCompat.bend&name=Info
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/FilesCompat.bend&name=stat