Fold.plan.go: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/fold.bend as Fold
Lines 178-181 of bend-toon-codec@0.1.0.0/src/fold.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/fold.bend&start_line=178&end_line=181

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

def plan.go(+c: Ci, +f: Bool, +k: String, +v: J.Json, +budget: U32, +prefix: String) -> Plan:
  +nk : String = pick.s(f, ci.key(c), k)
  +vt : J.Json = pick.j(f, ci.tail(c), v)
  Plan{nk, vt, fields.of(vt), keys(fields.of(vt)), pick.u(f, (budget - ci.n(c) : U32), budget), path(prefix, nk)}

Uses (16):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/fold.bend&name=Ci
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/fold.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/fold.bend&name=ci.key
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/fold.bend&name=ci.n
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/fold.bend&name=ci.tail
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/fold.bend&name=fields.of
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/fold.bend&name=keys
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/fold.bend&name=path
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/fold.bend&name=pick.j
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/fold.bend&name=pick.s
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/fold.bend&name=pick.u
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/json.bend&name=Json