~/jendhub

def columns_ok

cli@0.2.0.0 · cli.bend:7804

import cli@0.2.0.0/cli.bend as Cli
import Base

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

Uses (7)

Used by (1)