def open.of

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

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

376# whether a question is still open
377def open.of(got: TW.Heard) -> Bool:
378  match got:
379    case TW.Open{}:
380      True{}
381    case TW.Heard{_a}:
382      False{}