def block.index.next

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

import Base

23def block.index.next(index: Nat) -> Nat:
24  Nat.add(index, 1n)

Uses (2)