def sub_exists
import cli@0.2.0.0/cli.bend as Cliimport Base
5949def sub_exists(found: Maybe<&2, SubFound>, name: String) ->
5950 List<&2, List<&2, Segment>>:
5951 match found:
5952 case None{}: Nil{}
5953 case Some{sub}:
5954 tip(String.concat(["subcommand '", name,
5955 "' exists; to use it, remove the '--'"]))