World.laid: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/lock/world.bend as World
Lines 165-175 of ezx@1.13.0.0/src/lock/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/lock/world.bend&start_line=165&end_line=175

import Base
import ezx@1.13.0.0/src/pkg/pkg.bend as K

# each file with its text, as it is laid
def laid(fs: List<&2, K.Item>, ss: List<&2, String>) -> List<&2, Source>:
  match fs ss:
    case Nil{} Nil{}:
      []
    case Nil{} Con{_s, _t}:
      []
    case Con{_f, _g} Nil{}:
      []
    case Con{f, g} Con{s, t}:
      Source{K.file.at(f), s} <> laid(g, t)

Uses (5):
  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.13.0.0/src/lock/world.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/pkg/pkg.bend&name=Item
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/pkg/pkg.bend&name=file.at