def gots
import bolt@1.27.0.0/src/lint/plan.bend as Planimport Base
import bolt@1.27.0.0/src/lint/world.bend as W
350# each source with what the World answers for it
351def gots(ps: List<&2, String>, +world: W.World) -> List<&2, Got>:
352 match ps:
353 case Nil{}:
354 Nil{}
355 case Con{+p, rest}:
356 Got{p, W.text(world, p)} <> gots(rest, world)