def decoder_step_bounded

mylsm-lsm-store@0.3.2.0 · src/SstFileV2.bend:349

import Base
import mylsm-lsm-store@0.3.2.0/src/MemTable.bend as MemTable

349def decoder_step_bounded(
350  within: Bool,
351  phase: Phase,
352  remaining: Nat,
353  previous: Maybe<&2, String>,
354  entries: List<&2, MemTable.Entry>,
355  level: Nat,
356  declared: Nat,
357  body_rev: String,
358  consumed: Nat,
359  ch: Char,
360) -> Decoder:
361  match within:
362    case False{}:
363      DecoderRejected{FileTooLarge{}}
364    case True{}:
365      decoder_step_live(phase, remaining, previous, entries, level, declared, body_rev, consumed, ch)