Plan.answered: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan Lines 1220-1222 of ezx@1.11.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/plan.bend&start_line=1220&end_line=1222 import Base import ezx@1.11.0.0/src/lock/world.bend as W import ezx@1.11.0.0/src/lock/up.bend as Up # whether the upgrade has every answer it needs def answered(world: W.World) -> Bool: List.is_empty(&2, Up.Ask, wants.up(world)) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.is_empty https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=wants.up https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Ask https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=World