~/jendhub

def spec_info_found

cli@0.2.0.0 · cli.bend:3012

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

3012def spec_info_found(item: SpecItem, id: String) -> Maybe<&2, ArgInfo>:
3013  match item:
3014    case SpecArg{+info}:
3015      own = info_id(info)
3016      Bool.pick(Maybe<&2, ArgInfo>, same_text(own, id), Some{info}, None{})
3017    case SpecOther{other}: None{}

Uses (7)

Used by (1)