def yes.of

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

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

404# whether an answer said yes
405def yes.of(got: TW.Heard) -> Bool:
406  match got:
407    case TW.Open{}:
408      False{}
409    case TW.Heard{answer}:
410      match answer:
411        case TW.Is{yes}:
412          yes
413        case _:
414          False{}