def decoder_step_live

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

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

345def decoder_step_live(+phase: Phase, remaining: Nat, previous: Maybe<&2, String>, entries: List<&2, MemTable.Entry>, level: Nat, declared: Nat, body_rev: String, consumed: Nat, +ch: Char) -> Decoder:
346  +next_body = select_body(phase_bodies(phase), body_rev, ch)
347  apply_transition(phase_step(phase, ch), remaining, previous, entries, level, declared, next_body, Nat.add(consumed, 1n))

Uses (13)

Used by (1)