~/jendhub

def decide.with.max

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockBuilder.bend:51

import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockBuilder.bend as ByteBlockBuilder
import Base

51def decide.with.max(
52  used_bytes: Nat,
53  +record_bytes: Nat,
54  limits: Nat & Nat
55) -> Decision:
56  match limits:
57    case (record_cap, block_cap):
58      decide.sized(used_bytes, record_bytes, block_cap,
59        Nat.is_le(record_bytes, record_cap))

Uses (6)

Used by (1)