Plan.unanswered: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/lint/plan.bend as Plan Lines 321-328 of bolt@1.27.0.0/src/lint/plan.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lint/plan.bend&start_line=321&end_line=328 import Base import bolt@1.27.0.0/src/lint/world.bend as W # the questions a World does not answer yet def unanswered(asks: List<&2, W.Ask>, +world: W.World) -> List<&2, W.Ask>: match asks: case Nil{}: Nil{} case Con{+a, rest}: +more = unanswered(rest, world) Bool.pick(List<&2, W.Ask>, W.answered(world, a), more, a <> more) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=Ask https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=World https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=answered