def valid_u32

cli@0.2.0.0 · cli.bend:1919

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

1919# A U32 value is what U32.read reads (P22).
1920def valid_u32(s: String) -> Bool:
1921  Maybe.is_some(&2, U32, U32.read(s))

Uses (5)

Used by (1)