def help.pos.dots

import shake@0.7.0.0/src/cli.bend as Cli

import Base

1920# a rest mark: `...`, or empty
1921def help.pos.dots(many: Bool) -> String:
1922  Bool.pick(String, many, "...", "")

Uses (3)