type ParseState

mylsm-lsm-store@0.6.0.1 · src/Manifest.bend:22

import Base

22# Represent ParseState data used by the binary manifest codec.
23type ParseState is Data:
24  ReadNamesCount{levels_left: Nat, levels_acc: List<&2, List<&2, String>>}
25  ReadNameLength{levels_left: Nat, levels_acc: List<&2, List<&2, String>>, names_left: Nat, names_acc: List<&2, String>}
26  ReadNameBody{levels_left: Nat, levels_acc: List<&2, List<&2, String>>, names_left: Nat, names_acc: List<&2, String>}