def payload.length

mylsm-lsm-store@0.6.0.1 · src/coordinator/StatsCodec.bend:29

import Base

29def payload.length(
30  entries: Nat,
31  payload_bytes: Nat,
32  snapshots: Nat,
33  retained_bytes: Nat,
34  cursors: Nat
35) -> Nat:
36  Nat.add(4n, Nat.add(decimal.length(entries),
37    Nat.add(decimal.length(payload_bytes),
38      Nat.add(decimal.length(snapshots),
39        Nat.add(decimal.length(retained_bytes), decimal.length(cursors))))))