def u32_checked_div
import bend-collections-laws-math@1.0.0.0/src/math/fixed.bend as Fixedimport Base
118def u32_checked_div(+a: U32, +b: U32) -> Maybe<&2, U32>:
119 opt(U32, U32.is_zero(b), U32.div(a, b))
import bend-collections-laws-math@1.0.0.0/src/math/fixed.bend as Fixedimport Base
118def u32_checked_div(+a: U32, +b: U32) -> Maybe<&2, U32>:
119 opt(U32, U32.is_zero(b), U32.div(a, b))