~/jendhub

def key_known

cli@0.2.0.0 · cli.bend:2666

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

2666# Whether keys hold one named query, read without copying the key.
2667def key_known(+keys: List<&2, OptKey>, +query: String) -> Bool:
2668  hit = head_named(keys, query)
2669  Maybe.is_some(&2, Nat, key_rank(keys, query, 0n, hit))

Uses (8)

Used by (1)