BendToonCodec.to_inner: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/main.bend as BendToonCodec
Lines 62-81 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=62&end_line=81

import Base
import bend-toon-codec@0.1.0.0/src/json.bend as I

def to_inner(j: Json) -> I.Json:
  match j:
    case JNull{}:
      I.JNull{}
    case JBool{b}:
      I.JBool{b}
    case JNum{t}:
      I.JNum{t}
    case JStr{s}:
      I.JStr{s}
    case JArr{x}:
      I.JArr{to_inner(x)}
    case JObj{x}:
      I.JObj{to_inner(x)}
    case JNil{}:
      I.JNil{}
    case JCons{h, t}:
      I.JCons{to_inner(h), to_inner(t)}
    case JField{k, v, t}:
      I.JField{k, to_inner(v), to_inner(t)}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/main.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/json.bend&name=Json