Int.S32.mod: def of bend-kit-int@0.2.0.0 Import: import bend-kit-int@0.2.0.0/int.bend as Int Lines 627-628 of bend-kit-int@0.2.0.0/int.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-int@0.2.0.0/int.bend&start_line=627&end_line=628 import Base def S32.mod(a: U32, +b: U32) -> U32: S32.snd(S32.divmod.if(U32.is_zero(b), a, b)) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_zero https://jend.leeeet.dev/definition.txt?path=bend-kit-int@0.2.0.0/int.bend&name=S32.divmod.if https://jend.leeeet.dev/definition.txt?path=bend-kit-int@0.2.0.0/int.bend&name=S32.snd