def nat_of

cli@0.2.0.0 · cli.bend:4595

import cli@0.2.0.0/cli.bend as Cli

import Base

4595def nat_of(s: String) -> Nat:
4596  Maybe.default(&2, Nat, Nat.read(s), 0n)

Uses (4)

Nat
String
Maybe.default
Nat.read

Used by (5)

cli@0.2.0.0/cli:columns_valid
cli@0.2.0.0/cli:count
cli@0.2.0.0/cli:nat
cli@0.2.0.0/cli:nat_opt
cli@0.2.0.0/cli:nats