~/jendhub

def write_fuel

mylsm-lsm-store@0.6.0.1 · src/transfer/Backup.bend:100

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

100# Reserves three transitions per chunk and two finalization transitions.
101def write_fuel(block_count: Nat) -> Nat:
102  Nat.add(Nat.mul(3n, Nat.add(block_count, 2n)), 2n)

Uses (3)

Used by (1)