Backup.blocks.count.parts: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend as Backup
Lines 91-95 of mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&start_line=91&end_line=95

import Base

def blocks.count.parts(entries: Nat & Nat) -> U32:
  match entries:
    case (for_division, for_remainder):
      U32.from_nat(blocks.count.remainder((Nat.div(for_division, 16n),
        Nat.mod(for_remainder, 16n))))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mod
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=blocks.count.remainder