Plan.yes.of: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan Lines 404-414 of ezx@1.11.0.0/src/tool/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/plan.bend&start_line=404&end_line=414 import Base import ezx@1.11.0.0/src/tool/world.bend as TW # whether an answer said yes def yes.of(got: TW.Heard) -> Bool: match got: case TW.Open{}: False{} case TW.Heard{answer}: match answer: case TW.Is{yes}: yes case _: False{} Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=Answer https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=Heard