def opens

ezx@1.11.0.0 · src/tool/plan.bend:396

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW

396# the questions of these still open
397def opens(+world: TW.World, asks: List<&2, TW.Ask>) -> List<&2, TW.Ask>:
398  match asks:
399    case []:
400      []
401    case +h <> t:
402      opens.step(open(world, h), h, opens(world, t))