def records.size

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

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

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

363# Measures all encoded records before frame allocation.
364def records.size(entries: List<&1, ByteMemTable.Entry>, +count: Nat) -> Nat:
365  records.size.go(Nat.add(count, 1n), entries, 0n)

Uses (5)

List
Nat
Nat.add
mylsm-lsm-store@0.6.0.1/src/ByteMemTable:Entry
mylsm-lsm-store@0.6.0.1/src/ByteSstFile:records.size.go

Used by (0)

No other definition uses this definition.