World.answer.in: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lint/world.bend as World
Lines 61-67 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=61&end_line=67

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

# the first answer given to a question
def answer.in(rs: List<&2, Reply>, +ask: Ask) -> Maybe<&2, Answer>:
  match rs:
    case Nil{}:
      None{}
    case Con{Reply{q, a}, rest}:
      Lazy.stop(Maybe<&2, Answer>, ask.eq(q, ask), Some{a}, _u => answer.in(rest, ask))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=stop
  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=Reply
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=ask.eq