~/jendhub

def key_at

cli@0.2.0.0 · cli.bend:2651

import cli@0.2.0.0/cli.bend as Cli
import Base

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

Uses (7)

Used by (1)