def non_command

cli@0.2.0.0 · cli.bend:4853

import cli@0.2.0.0/cli.bend as Cli

import Base

4853def non_command(keys: List<&2, String>, +items: List<&2, Item>) ->
4854    Maybe<&2, String>:
4855  match keys:
4856    case Nil{}: None{}
4857    case +key <> tail:
4858      Bool.pick(Maybe<&2, String>, route_key(key, items),
4859        non_command(tail, items), Some{key})

Uses (6)

Used by (1)

cli@0.2.0.0/cli:route_found