def probe
import cli@0.2.0.0/cli.bend as Cliimport Base
7840# §7.3: the host from Run.host's readings; the width is COLUMNS, else the
7841# TTY columns, else 80.
7842def probe(+vars: List<&2, Var>, +out_tty: Bool, +err_tty: Bool,
7843 out_cols: U32, err_cols: U32) -> Host:
7844 Host{width_or(columns_width(var_value(vars, "COLUMNS")),
7845 nonzero(tty_columns(out_tty, err_tty, out_cols, err_cols), 80n)),
7846 vars, out_tty, err_tty}