autojson_decoded.txt

SourceFile(
  types={
    Box=ClassDef(
      let=[value]
      name=null
      fields=[
        Field(
          value=Ref(name=value)
        )
      ]
    )
    Pair=ClassDef(
      let=[value0, value1]
      name=null
      fields=[
        Field(
          value0=Ref(name=value0)
        )
        Field(
          value1=Ref(name=value1)
        )
      ]
    )
    IntBox=Apply(
      let=[]
      target=Ref(name=Box)
      params={
        name=value
        param=Ref(name=Int)
      }
    )
    StringBox=Apply(
      let=[]
      target=Ref(name=Box)
      params={
        name=value
        param=Ref(name=String)
      }
    )
    BoxBox=ClassDef(
      let=[Box]
      name=null
      fields=[
        Field(
          box=Apply(
            let=[]
            target=Ref(name=Box)
            params={
              name=value
              param=Ref(name=value)
            }
          )
        )
      ]
    )
    RefBox=Apply(
      let=[value]
      target=Ref(name=Box)
      params={
        name=value
        param=Ref(name=value)
      }
    )
    Hoge=Apply(
      let=[aaa]
      target=ClassDef(
        let=[]
        name=null
        fields=[
          Field(
            aaa=Ref(name=aaa)
          )
        ]
      )
      params={
        name=aaa
        param=Ref(name=Int)
      }
    )
  }
)