def table.lock.present.start

mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateIo.bend:423

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

423def table.lock.present.start(paths: String & String) -> IO(Result<&1, &1, Error, Nat & Nat>):
424  match paths:
425    case (lock_path, retained_path):
426      do IO<Result<&1, &1, Error, Nat & Nat>>:
427        acquired : Result<&1, &1, DurableError.Error, DbLock.Lock> <-
428          DbLock.acquire(lock_path, "migrate-verify")
429        table.lock.acquired(retained_path, acquired)