def valid_u32
import cli@0.2.0.0/cli.bend as Cliimport 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))
import cli@0.2.0.0/cli.bend as Cliimport 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))