def group_display

cli@0.2.0.0 · cli.bend:3973

import cli@0.2.0.0/cli.bend as Cli

import Base

3973def group_display(items: List<&2, Item>, name: String) -> String:
3974  String.concat(["<", String.join(group_usages(items, name), "|"), ">"])

Uses (6)

Used by (1)

cli@0.2.0.0/cli:group_elem