def write.fuel

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

import Base

28def write.fuel(entries: Nat) -> Nat:
29  Nat.add(Nat.mul(3n, write.pages(entries)), 1n)

Uses (4)