Cli.help.arg_lines.at: def of shake@0.7.0.0 Import: import shake@0.7.0.0/src/cli.bend as Cli Lines 1967-1973 of shake@0.7.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/src/cli.bend&start_line=1967&end_line=1973 import Base # a positional's Arguments line def help.arg_lines.at(keep: Bool, hh: Arg, rest: String, ww: Nat) -> String: match keep: case True{}: help.arg_line(hh, ww) ++ "\n" ++ rest case False{}: rest Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Arg https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=help.arg_line