Plan.fits: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/fetch/plan.bend as Plan
Lines 169-181 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=169&end_line=181

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/pkg/pkg.bend as K

# whether every file is the one the lock names, in the lock's order. A list
# longer or shorter than the lock's is not the package.
def fits(fs: List<&2, K.Item>, ls: List<&2, W.Source>) -> Bool:
  match fs ls:
    case Nil{} Nil{}:
      True{}
    case Nil{} Con{_l, _m}:
      False{}
    case Con{_f, _g} Nil{}:
      False{}
    case Con{f, g} Con{l, m}:
      +rest = fits(g, m)
      Bool.and(fit(f, l), rest)

Uses (6):
  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=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&name=fit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Item