World.answered: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/lint/world.bend as World Lines 74-76 of bolt@1.27.0.0/src/lint/world.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lint/world.bend&start_line=74&end_line=76 import Base # whether a World answers a question def answered(world: World, +ask: Ask) -> Bool: Maybe.is_some(&2, Answer, answer(world, ask)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.is_some https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=Answer https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=Ask https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=World https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=answer