~/jendhub

def resident_metadata_bytes

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

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

28# Counts all bounded resident copies of one serialized-index read.
29def resident_metadata_bytes(page_bytes: Nat) -> Nat:
30  Nat.mul(buffer_copies(), page_bytes)

Uses (3)

Used by (0)

No other definition uses this definition.