def u32_opt
import cli@0.2.0.0/cli.bend as Cliimport Base
4639def u32_opt(m: Matches, id: String) -> Dec(Maybe<&2, U32>):
4640 read_with(~Maybe<&2, U32>, ~(f => get_opt(~U32, ~u32_of, f)),
4641 WValue{"u32", ReadOpt{}}, m, id)
Uses (10)
Used by (0)
No other definition uses this definition.