Cli.valid_u32: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 1919-1921 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=1919&end_line=1921

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.is_some
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.read