Cli.join_filled: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 5151-5152 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=5151&end_line=5152

import Base

def join_filled(parts: List<&2, String>) -> String:
  String.join(List.filter(~String, ~filled, parts), " ")

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.filter
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.join
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=filled