def block.index.pair

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupCursor.bend:96

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

96def block.index.pair(index: U32) -> U32 & U32:
97  +current = U32.to_nat(index)
98  (U32.from_nat(current), U32.from_nat(Policy.block.index.next(current)))