World.text.got: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lint/world.bend as World
Lines 114-119 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=114&end_line=119

import Base

def text.got(mm: Maybe<&2, Answer>) -> Maybe<&2, String>:
  match mm:
    case None{}:
      None{}
    case Some{aa}:
      text.answer(aa)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=text.answer