Plan.conf.first: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lint/plan.bend as Plan
Lines 427-436 of bolt@1.27.0.0/src/lint/plan.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lint/plan.bend&start_line=427&end_line=436

import Base

# the path of the first candidate the World holds a text for, as a list of
# one; none when it holds none
def conf.first(gs: List<&2, Got>) -> List<&2, String>:
  match gs:
    case Nil{}:
      Nil{}
    case Con{Got{path, Some{_text}}, _rest}:
      [path]
    case Con{Got{_path, None{}}, rest}:
      conf.first(rest)

Uses (4):
  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=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=Got