Outline.find: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/outline.bend as Outline
Lines 546-553 of bolt@1.27.0.0/src/syntax/outline.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&start_line=546&end_line=553

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

# the item of that name; imports are not names of the module
def find(items: List<&2, Item>, +name: String) -> Maybe<&2, Item>:
  match items:
    case Nil{}:
      None{}
    case Con{Item{+k, +nm, l, s, d, p}, t}:
      Lazy.stop(Maybe<&2, Item>, Bool.and(Bool.not(is_import(k)), String.eq(nm, name)),
        Some{Item{k, nm, l, s, d, p}}, _u => find(t, name))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  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=Base/base.bend&name=String.eq
  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/syntax/outline.bend&name=Item
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=is_import