Plan.part.kept: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/fetch/plan.bend as Plan
Lines 353-367 of ezx@1.11.0.0/src/fetch/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&start_line=353&end_line=367

import Base
import ezx@1.11.0.0/src/fetch/world.bend as F
import ezx@1.11.0.0/src/lock/lock.bend as L
import ezx@1.11.0.0/src/pkg/pkg.bend as K

# a tree under BEND_LIB that passes is kept; any other is fetched
def part.kept(
  ok: Bool,
  +rs: List<&2, F.Reply>,
  +src: L.Src,
  fs: List<&2, K.Item>,
  +here: String,
  +hub: String,
  +hash: String
) -> Part:
  match ok:
    case True{}:
      Have{}
    case False{}:
      part.fetch(rs, src, fs, here, hub, hash)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&name=Part
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&name=part.fetch
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/world.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=Src
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Item