def release

mylsm-lsm-store@0.6.0.1 · src/DbLock.bend:145

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

145# Consumes the lock and releases its file handle.
146def release(lock: Lock, operation: String, path: String) -> IO(Result<&1, &1, DurableError.Error, Unit>):
147  match lock:
148    case Lock{file}:
149      unlock_file(file, operation, path)