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

import Base

# List.get drops each key it passes whole, where a walk over OptKey would
# open it.
def key_at(rank: Maybe<&2, Nat>, keys: List<&2, OptKey>) ->
    Maybe<&2, OptFound>:
  match rank:
    case None{}: None{}
    case Some{at}: key_found_at(List.get(&2, OptKey, keys, at))

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=List.get
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=OptFound
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=OptKey
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=key_found_at