def open

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

import ezx@1.11.0.0/src/tool/plan.bend as Plan

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

384# whether a question of ours is still open
385def open(+world: TW.World, +ask: TW.Ask) -> Bool:
386  open.of(TW.heard(world, ask))

Uses (5)

Used by (1)

ezx@1.11.0.0/src/tool/plan:opens