def page.parts

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

import Base

64def page.parts(firsts: Nat & Nat, entries: Nat) -> PageDecision:
65  match firsts:
66    case (first, for_remaining):
67      Page{first, Nat.min(max_entries(), Nat.sub(entries, for_remaining))}