def unanswered

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

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

321# the questions a World does not answer yet
322def unanswered(asks: List<&2, W.Ask>, +world: W.World) -> List<&2, W.Ask>:
323  match asks:
324    case Nil{}:
325      Nil{}
326    case Con{+a, rest}:
327      +more = unanswered(rest, world)
328      Bool.pick(List<&2, W.Ask>, W.answered(world, a), more, a <> more)

Uses (5)

Used by (2)