def nonempty_name

import cli@0.2.0.0/cli.bend as Cli

import Base

2758def nonempty_name(+name: String) -> List<&2, String>:
2759  Bool.pick(List<&2, String>, String.is_empty(name), [], [name])

Uses (4)