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

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

def of_inner(j: I.Json) -> Json:
  match j:
    case I.JNull{}:
      JNull{}
    case I.JBool{b}:
      JBool{b}
    case I.JNum{t}:
      JNum{t}
    case I.JStr{s}:
      JStr{s}
    case I.JArr{x}:
      JArr{of_inner(x)}
    case I.JObj{x}:
      JObj{of_inner(x)}
    case I.JNil{}:
      JNil{}
    case I.JCons{h, t}:
      JCons{of_inner(h), of_inner(t)}
    case I.JField{k, v, t}:
      JField{k, of_inner(v), of_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