MigrateIo.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 486-493 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=486&end_line=493

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

# Preserves the primary validation result unless lock release fails.
def release.result(
  value: Result<&1, &1, Error, Nat>,
  released: Result<&1, &1, DurableError.Error, Unit>
) -> Result<&1, &1, Error, Nat>:
  match released:
    case Fail{error}: Fail{LockError{error}}
    case Done{Unit{}}: value

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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