def exchange.fits
import mylsm-lsm-store@0.6.0.1/src/transfer/RestorePolicy.bend as RestorePolicyimport Base
34def exchange.fits(limit: Nat, size: Nat) -> Bool:
35 Nat.is_le(size, limit)
import mylsm-lsm-store@0.6.0.1/src/transfer/RestorePolicy.bend as RestorePolicyimport Base
34def exchange.fits(limit: Nat, size: Nat) -> Bool:
35 Nat.is_le(size, limit)