Rep.Rep: type of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/rep.bend as Rep
Lines 12-21 of bend-toon-codec@0.1.0.0/src/rep.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&start_line=12&end_line=21

import Base

type Rep is Data:
  # A primitive: its text.
  RPrim{t: String}
  # An object (field lines) or a chain of list items: lines at relative depth 0.
  RLines{ls: List<&2, Ln>}
  # A non-empty array: the text after the key (`[2]: a,b`, `[2]{a,b}:`,
  # `[2]:`) and the lines beneath the header, already at depth 1 and deeper.
  RArr{h: String, ks: List<&2, Ln>}
  # An empty array.
  REmpty{}

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=String
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=Ln