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

import Base

# COLUMNS sets the width when as_nat reads it and it is at least 1. digits
# is bound because a temporary argument makes String.is_empty take its
# string, adding a take to each caller that reuses one (valid_nat).
def columns_ok(+value: String) -> Bool:
  digits = Nat.read.trim(value)
  Bool.and(valid_nat(value), Bool.not(String.is_empty(digits)))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.read.trim
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=valid_nat