Cli.field_seek: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 4548-4554 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=4548&end_line=4554

import Base

# The field for id, or an absent one; after a hit it walks no further.
def field_seek(fields: List<&2, Field>, +id: String,
    found: Maybe<&2, Field>) -> Field:
  match fields found:
    case _ Some{f}: f
    case Nil{} None{}: Field{id, [], Absent{}}
    case f <> tail None{}: field_seek(tail, id, field_found(f, id))

Uses (6):
  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=cli@0.2.0.0/cli.bend&name=Field
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Src
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=field_found