def blocks.count.remainder

mylsm-lsm-store@0.6.0.1 · src/transfer/Backup.bend:84

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

import Base

84def blocks.count.remainder(pair: Nat & Nat) -> Nat:
85  match pair:
86    case (quotient, remainder):
87      match remainder:
88        case 0n: quotient
89        case _: Nat.add(quotient, 1n)

Uses (4)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/transfer/Backup:blocks.count.parts