Plan.present.of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan
Lines 656-668 of ezx@1.11.0.0/src/tool/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/plan.bend&start_line=656&end_line=668

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW
import ezx@1.11.0.0/src/pkg/pkg.bend as K

# whether the file built is in the checkout: among the files git gave, or
# read where the checkout is. A file outside the checkout is not in it.
def present.of(checkout: Co, +world: TW.World) -> Bool:
  match checkout:
    case Laid{fs}:
      Bool.not(none(K.look(fs, inside(top(world), file(world)))))
    case Kept{_t, _l}:
      Bool.and(Bool.not(String.is_empty(inside(top(world), file(world)))),
        Bool.not(none(read.got(world, file(world)))))
    case CoWait{_as, _us}:
      False{}
    case CoNo{_why}:
      False{}

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=look
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=Co
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=file
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=inside
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=none
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=read.got
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=top
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=World