SstReadPolicy.classify.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 19-24 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=19&end_line=24

import Base

def classify.copies(pair: Nat & Nat, max_bytes: Nat) -> Decision:
  match pair:
    case (minimum_check, budget_check):
      Bool.pick(Decision, Nat.is_le(60n, minimum_check),
        Bool.pick(Decision, within_budget(budget_check, max_bytes),
          WithinBudget{}, OverBudget{}), TooSmall{})

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.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=Decision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstReadPolicy.bend&name=within_budget