~/jendhub

def page.record.required.value

mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:367

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

367def page.record.required.value(record_bytes: Nat, has_current_records: Bool) -> Nat:
368  match has_current_records:
369    case True{}: record_bytes
370    case False{}: Nat.add(40n, record_bytes)

Uses (3)

Used by (1)