def U32.mod

Base · base.bend:1642

import Base
1642def U32.mod(a: U32, b: U32) -> U32:
1643  U32{aw} = a
1644  U32{+bw} = b
1645  U32.mod.if(aw, U32{bw}, U32.is_zero(U32{bw}))

Uses (3)

Used by (399)