def decoder_step

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

import Base

367def decoder_step(decoder: Decoder, ch: Char) -> Decoder:
368  match decoder:
369    case DecoderRejected{error}:
370      DecoderRejected{error}
371    case Dec{phase, remaining_entries, previous_key, reversed_entries, level, declared_count, body_rev, +consumed}:
372      decoder_step_bounded(Nat.is_lt(consumed, max_file_chars()), phase, remaining_entries, previous_key, reversed_entries, level, declared_count, body_rev, consumed, ch)