~/jendhub

def remaining

mylsm-lsm-store@0.6.0.1 · src/transfer/RestorePolicy.bend:16

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

16# Returns the number of blocks left in a continuing traversal.
17def remaining(decision: Advance) -> Nat:
18  match decision:
19    case Continue{remaining}: remaining
20    case _: 0n

Uses (2)

Used by (1)