def u32.zero
import bend-net-json@0.3.0.0/json.bend as Jsonimport Base
550def u32.zero(t: String) -> Maybe<&2, U32>:
551 match t:
552 case SNil{}:
553 Some{0}
554 case SCon{d, u}:
555 None{}
import bend-net-json@0.3.0.0/json.bend as Jsonimport Base
550def u32.zero(t: String) -> Maybe<&2, U32>:
551 match t:
552 case SNil{}:
553 Some{0}
554 case SCon{d, u}:
555 None{}