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

import Base

# §7.3: the host from Run.host's readings; the width is COLUMNS, else the
# TTY columns, else 80.
def probe(+vars: List<&2, Var>, +out_tty: Bool, +err_tty: Bool,
    out_cols: U32, err_cols: U32) -> Host:
  Host{width_or(columns_width(var_value(vars, "COLUMNS")),
    nonzero(tty_columns(out_tty, err_tty, out_cols, err_cols), 80n)),
    vars, out_tty, err_tty}

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Host
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Var
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=columns_width
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=nonzero
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=tty_columns
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=var_value
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=width_or