BendToonCodec.Json: type of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/main.bend as BendToonCodec
Lines 19-32 of bend-toon-codec@0.1.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/main.bend&start_line=19&end_line=32

import Base

# JSON values. Arrays and objects are chains inside Json itself: an array is
# JArr{JCons{a, JCons{b, JNil{}}}}, an object is
# JObj{JField{"k", v, JField{"k2", v2, JNil{}}}}. Numbers keep their decimal
# text (JNum{"1.50"}); encode writes the canonical form.
type Json is Data:
  JNull{}
  JBool{b: Bool}
  JNum{text: String}
  JStr{s: String}
  JArr{items: Json}
  JObj{fields: Json}
  JNil{}
  JCons{head: Json, tail: Json}
  JField{key: String, val: Json, tail: Json}

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