def gots

bolt@1.27.0.0 · src/lint/plan.bend:350

import bolt@1.27.0.0/src/lint/plan.bend as Plan
import 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)

Uses (5)

Used by (5)