MigrateIo.table.release.result: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/MigrateIo.bend as MigrateIo
Lines 106-112 of mylsm-lsm-store@0.6.0.1/src/transfer/MigrateIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/MigrateIo.bend&start_line=106&end_line=112

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

def table.release.result(
  value: Result<&1, &1, Error, Nat & Nat>,
  result: Result<&1, &1, DurableError.Error, Unit>
) -> Result<&1, &1, Error, Nat & Nat>:
  match result:
    case Fail{error}: Fail{LockError{error}}
    case Done{Unit{}}: value

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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=Unit
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/DurableError.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/MigrateIo.bend&name=Error