def decide.target.placed

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

import Base

65def decide.target.placed(+used_bytes: Nat, +record_bytes: Nat, append: Bool) -> Decision:
66  match append:
67    case True{}: Append{Nat.add(used_bytes, record_bytes)}
68    case False{}: StartNextBlock{record_bytes}