Manifest.ParseState: type of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/Manifest.bend as Manifest
Lines 22-26 of mylsm-lsm-store@0.6.0.1/src/Manifest.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/Manifest.bend&start_line=22&end_line=26

import Base

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

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String