def laid

ezx@1.11.0.0 · src/lock/world.bend:165

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

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