def columns_valid

cli@0.2.0.0 · cli.bend:7811

import cli@0.2.0.0/cli.bend as Cli

import Base

7811def columns_valid(ok: Bool, value: String) -> Maybe<&2, Nat>:
7812  match ok:
7813    case True{}: Some{nat_of(value)}
7814    case False{}: None{}

Uses (5)

Used by (1)

cli@0.2.0.0/cli:columns_width