SstReadPolicy.total.copies: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/SstReadPolicy.bend as SstReadPolicy
Lines 30-41 of mylsm-lsm-store@0.6.0.1/src/SstReadPolicy.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/SstReadPolicy.bend&start_line=30&end_line=41

import Base

def total.copies(
  totals: Nat & Nat,
  sizes: Nat & Nat,
  max_bytes: Nat
) -> TotalDecision:
  match totals:
    case (checked_total, next_total):
      match sizes:
        case (checked_size, next_size):
          Bool.pick(TotalDecision,
            Nat.is_le(Nat.add(checked_total, checked_size), max_bytes),
            TotalAdmitted{Nat.add(next_total, next_size)}, TotalRejected{})

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstReadPolicy.bend&name=TotalDecision