def builtin_name

cli@0.2.0.0 · cli.bend:7642

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

7642def builtin_name(found: Maybe<&2, SubFound>) -> Maybe<&2, String>:
7643  match found:
7644    case Some{SubFound{name, items}}:
7645      Bool.pick(Maybe<&2, String>, has_builtin(items), Some{name}, None{})
7646    case None{}: None{}

Uses (5)

Used by (1)