Cli.builtin_name: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 7642-7646 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=7642&end_line=7646

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=SubFound
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=has_builtin