def Nar.checked_mod
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
500def Nar.checked_mod(a: U32, +b: U32) -> Maybe<&2, U32>:
501 Nar.opt(U32.is_zero(b), U32.mod(a, b))
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
500def Nar.checked_mod(a: U32, +b: U32) -> Maybe<&2, U32>:
501 Nar.opt(U32.is_zero(b), U32.mod(a, b))