Lint.find: def of bend-lint-pack@0.1.1.0
Import: import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
Lines 181-187 of bend-lint-pack@0.1.1.0/vendor/lint.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&start_line=181&end_line=187

import Base

# The value of an option, if it is given.
def find(opts: List<&2, Option>, +key: String) -> Maybe<&2, Value>:
  match opts:
    case Nil{}:
      None{}
    case Con{Option{k, v}, rest}:
      pick(String.eq(k, key), v, find(rest, key))

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=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=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=Option
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=Value
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=pick