def page

mylsm-lsm-store@0.6.0.1 · src/scan/BlockIndexPolicy.bend:69

import mylsm-lsm-store@0.6.0.1/src/scan/BlockIndexPolicy.bend as BlockIndexPolicy

import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend as QueuePolicy

69# Selects a fixed-budget index page; a zero count marks the terminal position.
70def page(first: Nat, entries: Nat) -> PageDecision:
71  page.parts(QueuePolicy.nat.clone.pair(first), entries)

Uses (4)

Used by (0)

No other definition uses this definition.