def u32.zero
import bend-kit-json@0.7.0.0/json.bend as Jsonimport Base
952def u32.zero(t: String) -> Maybe<&2, U32>:
953 match t:
954 case SNil{}:
955 Some{0}
956 case SCon{d, u}:
957 None{}
import bend-kit-json@0.7.0.0/json.bend as Jsonimport Base
952def u32.zero(t: String) -> Maybe<&2, U32>:
953 match t:
954 case SNil{}:
955 Some{0}
956 case SCon{d, u}:
957 None{}