~/jendhub

def key_found

cli@0.2.0.0 · cli.bend:2613

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

2613def key_found(key: OptKey, query: String) -> Maybe<&2, OptFound>:
2614  match key:
2615    case OptKey{name, found}:
2616      Bool.pick(Maybe<&2, OptFound>, same_text(query, name),
2617        Some{found}, None{})

Uses (6)

Used by (1)