Cli.key_lookup: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 2659-2664 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=2659&end_line=2664 import Base # find_key(keys, query, None{}), copying only the key it finds. def key_lookup(+keys: List<&2, OptKey>, +query: String) -> Maybe<&2, OptFound>: hit = head_named(keys, query) rank = key_rank(keys, query, 0n, hit) key_at(rank, keys) Uses (8): 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=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=head_named https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=key_at https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=key_rank