~/jendhub

def append.copies

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupCursorPolicy.bend:51

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

51def append.copies(
52  seen: Nat & Nat,
53  pending: Nat,
54  expected: Nat
55) -> AppendDecision:
56  match seen:
57    case (output, checked):
58      append.checked(output, pending, Nat.is_lt(checked, expected))

Uses (6)

Used by (1)