~/jendhub

def finish

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

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

74# Emits a partial final block only after the cursor returned its exact count.
75def finish(seen: Nat, expected: Nat, pending: Nat) -> FinishDecision:
76  finish.pending(pending, Nat.is_eq(seen, expected))

Uses (4)

Used by (1)