def parse.step.count.value
mylsm-lsm-store@0.6.0.1 · src/Manifest.bend:302
import mylsm-lsm-store@0.6.0.1/src/Manifest.bend as Manifest
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
302def parse.step.count.value(
303 levels_left: Nat,
304 levels_acc: List<&2, List<&2, String>>,
305 value: Bytes.Cursor & Maybe<&2, U32>
306) -> ParseTransition:
307 match value:
308 case (cursor, None{}):
309 Reject{cursor}
310 case (cursor, Some{count}):
311 Continue{ReadNameLength{levels_left, levels_acc, U32.to_nat(count), Nil{}}, NoInput{cursor}}