def as_u32

emerging-ezjson@1.3.0.0 · main.bend:104

import Base
import emerging-ezjson@1.3.0.0/src/value.bend as Value

104# a number as a U32, or none when it is not one or does not fit
105def as_u32(val: Value.Json) -> Maybe<&2, U32>:
106  Value.as_u32(val)